Skip to content

"Intensional" is a word (#3697) #7886

"Intensional" is a word (#3697)

"Intensional" is a word (#3697) #7886

Triggered via push April 28, 2025 07:47
Status Success
Total duration 15s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

codespell.yml

on: push
Check for spelling errors
9s
Check for spelling errors
Fit to window
Zoom out
Zoom in