Skip to content

Actions: leanprover/verso

Actions

No #eval in source files

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
no-eval-in-source.yml
734 workflow runs
734 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
No #eval in source files No #eval in source files #747: Merge group checks requested
10s
10s
No #eval in source files No #eval in source files #746: Merge group checks requested
8s
8s
chore: bump toolchain to v4.34.0-rc1 No #eval in source files #745: Pull request #950 opened by Garmelon
10s bump-to-v4.34.0-rc1
bump-to-v4.34.0-rc1
10s
feat: unorphan modules No #eval in source files #744: Pull request #946 synchronize by Vtec234
20s unorphan
unorphan
20s
No #eval in source files No #eval in source files #743: Merge group checks requested
15s
15s
chore: install all subproject toolchains in CI explicitly No #eval in source files #742: Pull request #949 opened by david-christiansen
10s ci-install
ci-install
10s
No #eval in source files No #eval in source files #741: Merge group checks requested
15s
15s
chore: bump toolchain to v4.33.0 No #eval in source files #740: Pull request #948 opened by Garmelon
10s bump-to-v4.33.0
bump-to-v4.33.0
10s
No #eval in source files No #eval in source files #739: Merge group checks requested
10s
10s
chore: bump SubVerso No #eval in source files #738: Pull request #947 opened by david-christiansen
10s bump-subverso-2026-08-09
bump-subverso-2026-08-09
10s
No #eval in source files No #eval in source files #737: Merge group checks requested
9s
9s
feat: lightweight HTTP server for Verso projects No #eval in source files #736: Pull request #876 synchronize by robsimmons
11s serve
serve
11s
feat: lightweight HTTP server for Verso projects No #eval in source files #735: Pull request #876 synchronize by david-christiansen
32m 44s serve
serve
32m 44s
feat: lightweight HTTP server for Verso projects No #eval in source files #734: Pull request #876 synchronize by david-christiansen
33m 23s serve
serve
33m 23s
feat: lightweight HTTP server for Verso projects No #eval in source files #733: Pull request #876 synchronize by david-christiansen
34m 58s serve
serve
34m 58s
feat: lightweight HTTP server for Verso projects No #eval in source files #732: Pull request #876 synchronize by david-christiansen
46m 56s serve
serve
46m 56s
No #eval in source files No #eval in source files #731: Merge group checks requested
9s
9s
fix: don't run 'lake update subverso' in IO example projects No #eval in source files #730: Pull request #945 opened by david-christiansen
12s no-update-
no-update-
12s
feat: re-enable precompileModules No #eval in source files #729: Pull request #943 synchronize by Vtec234
8s unorphan
unorphan
8s
feat: re-enable precompileModules No #eval in source files #728: Pull request #943 synchronize by Vtec234
2m 56s unorphan
unorphan
2m 56s
fix: deduplicate auto-generated heading tags in freshTag No #eval in source files #727: Pull request #937 synchronize by Chessing234
17s Chessing234:fix/freshTag-internal-dedup
Chessing234:fix/freshTag-internal-dedup
17s
feat: re-enable precompileModules No #eval in source files #726: Pull request #943 synchronize by Vtec234
11s unorphan
unorphan
11s
feat: re-enable precompileModules No #eval in source files #725: Pull request #943 synchronize by Vtec234
18s unorphan
unorphan
18s
No #eval in source files No #eval in source files #724: Merge group checks requested
14s
14s
chore: bump toolchain to v4.33.0-rc2 No #eval in source files #723: Pull request #944 synchronize by Vtec234
10s bump-to-v4.33.0-rc2
bump-to-v4.33.0-rc2
10s