Skip to content

Actions: leanprover/verso

Actions

Check Code Formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-format.yml
1,198 workflow runs
1,198 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: update SubVerso Check Code Formatting #1163: Pull request #1005 synchronize by david-christiansen
16s bump-subverso-2026-09-27
bump-subverso-2026-09-27
16s
chore: update SubVerso Check Code Formatting #1162: Pull request #1005 opened by david-christiansen
14s bump-subverso-2026-09-27
bump-subverso-2026-09-27
14s
Check Code Formatting Check Code Formatting #1161: Merge group checks requested
14s
14s
perf: precompileLibrary Check Code Formatting #1160: Pull request #1000 synchronize by Vtec234
20s precomp-lib
precomp-lib
20s
Check Code Formatting Check Code Formatting #1159: Merge group checks requested
42s
42s
chore: remove old module system option Check Code Formatting #1158: Pull request #1004 opened by david-christiansen
37s old-option
old-option
37s
Check Code Formatting Check Code Formatting #1157: Merge group checks requested
14s
14s
Check Code Formatting Check Code Formatting #1156: Merge group checks requested
14s
14s
Check Code Formatting Check Code Formatting #1155: Merge group checks requested
13s
13s
chore: fix deprecation warning Check Code Formatting #1154: Pull request #1003 opened by david-christiansen
19s warning-fix
warning-fix
19s
fix: issue building with lake artifact cache Check Code Formatting #1153: Pull request #1002 opened by david-christiansen
15s cache-friendliness
cache-friendliness
15s
chore: add missing stringifiers Check Code Formatting #1152: Pull request #1001 opened by david-christiansen
22s inline-to-string-more
inline-to-string-more
22s
perf: precompileLibrary Check Code Formatting #1151: Pull request #1000 opened by Vtec234
16s precomp-lib
precomp-lib
16s
fix: remove well-foundedness lemmas that have been upstreamed Check Code Formatting #1150: Pull request #999 synchronize by github-actions Bot
2d 14h 27m 57s jcreedcmu:jcreed-fix-wf
jcreedcmu:jcreed-fix-wf
2d 14h 27m 57s
fix: remove well-foundedness lemmas that have been upstreamed Check Code Formatting #1149: Pull request #999 opened by jcreedcmu
53s jcreedcmu:jcreed-fix-wf
jcreedcmu:jcreed-fix-wf
53s
fix: sync lean-toolchain for test projects that build against Verso Check Code Formatting #1148: Pull request #967 synchronize by kim-em
19s fix-subverso-toolchain-sync
fix-subverso-toolchain-sync
19s
Check Code Formatting Check Code Formatting #1147: Merge group checks requested
17s
17s
chore: bump toolchain to v4.35.0-rc3 Check Code Formatting #1146: Pull request #998 synchronize by github-actions Bot
16s bump-to-v4.35.0-rc3
bump-to-v4.35.0-rc3
16s
chore: bump toolchain to v4.35.0-rc3 Check Code Formatting #1145: Pull request #998 opened by Garmelon
29s bump-to-v4.35.0-rc3
bump-to-v4.35.0-rc3
29s
chore: bump typescript from 5.8.3 to 7.0.2 Check Code Formatting #1144: Pull request #995 opened by dependabot Bot
13s dependabot/npm_and_yarn/typescript-7.0.2
dependabot/npm_and_yarn/typescript-7.0.2
13s
Check Code Formatting Check Code Formatting #1143: Merge group checks requested
16s
16s
feat: run Errata tests interactively in a widget Check Code Formatting #1142: Pull request #959 synchronize by david-christiansen
15s test-framework-3
test-framework-3
15s
feat: run Errata tests interactively in a widget Check Code Formatting #1141: Pull request #959 synchronize by david-christiansen
23s test-framework-3
test-framework-3
23s
feat: run Errata tests interactively in a widget Check Code Formatting #1140: Pull request #959 synchronize by david-christiansen
17s test-framework-3
test-framework-3
17s
fix: deduplicate machine-assigned tags Check Code Formatting #1139: Pull request #991 synchronize by casavaca
Action required casavaca:fix-897
casavaca:fix-897
Action required