Skip to content

Actions: leanprover/subverso

Actions

CI (without module system)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-pre-module.yml
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Bump toolchain and CI to 4.29.0-rc1 (#200) CI (without module system) #114: Commit 3a7e680 pushed by ejgallego
57m 24s main
main
57m 24s
chore: Bump toolchain and CI to 4.29.0-rc1 CI (without module system) #113: Pull request #200 opened by ejgallego
38m 9s ejgallego:update_toolchains
ejgallego:update_toolchains
38m 9s
chore: bump CI to 4.27.0 and 4.28.0-rc1 (#199) CI (without module system) #112: Commit 4539e60 pushed by david-christiansen
15m 24s main
main
15m 24s
chore: bump CI to 4.27.0 and 4.28.0-rc1 CI (without module system) #111: Pull request #199 opened by david-christiansen
15m 6s bump-4.27
bump-4.27
15m 6s
chore: bump to 2026-01-19 (#198) CI (without module system) #110: Commit 2aa0894 pushed by david-christiansen
17m 50s main
main
17m 50s
chore: bump to 2026-01-19 CI (without module system) #109: Pull request #198 opened by david-christiansen
18m 32s option-get
option-get
18m 32s
chore: bump CI for latest releases, update actions (#197) CI (without module system) #108: Commit 7ada0ee pushed by ejgallego
13m 5s main
main
13m 5s
chore: bump CI for latest releases, update actions CI (without module system) #107: Pull request #197 opened by ejgallego
22m 27s ejgallego:ci-update
ejgallego:ci-update
22m 27s
chore: anchors in readme (#194) CI (without module system) #106: Commit eab03c5 pushed by david-christiansen
10m 26s main
main
10m 26s
fix: mismatched directory name in examples builder (#196) CI (without module system) #105: Commit 1e55697 pushed by david-christiansen
17m 54s main
main
17m 54s
fix: mismatched directory name in examples builder CI (without module system) #104: Pull request #196 opened by david-christiansen
17m 37s fix-dirname
fix-dirname
17m 37s
fix: skip in nodes when getting command kinds for extraction (#195) CI (without module system) #103: Commit 947523a pushed by david-christiansen
17m 6s main
main
17m 6s
fix: skip in nodes when getting command kinds for extraction CI (without module system) #102: Pull request #195 opened by david-christiansen
10m 56s extract-in-kind
extract-in-kind
10m 56s
chore: anchors in readme CI (without module system) #101: Pull request #194 opened by david-christiansen
20m 44s readme-fix
readme-fix
20m 44s
chore: bump CI for latest releases and nightly CI (without module system) #100: Pull request #193 synchronize by david-christiansen
16m 3s bump-2026-01-05
bump-2026-01-05
16m 3s
chore: bump CI for latest releases and nightly CI (without module system) #99: Pull request #193 opened by david-christiansen
11m 29s bump-2026-01-05
bump-2026-01-05
11m 29s
chore: update error reporting and dependency tracking for highlighted… CI (without module system) #98: Commit 61e66d0 pushed by david-christiansen
14m 48s main
main
14m 48s
chore: update error reporting and dependency tracking CI (without module system) #97: Pull request #192 opened by david-christiansen
13m 50s info
info
13m 50s
chore: add latest nightly to CI (#191) CI (without module system) #96: Commit eb77622 pushed by david-christiansen
13m 13s main
main
13m 13s
chore: add latest nightly to CI CI (without module system) #95: Pull request #191 opened by david-christiansen
14m 5s bump-2025-12-07
bump-2025-12-07
14m 5s
chore: bump to nightly-2025-11-30 (#190) CI (without module system) #94: Commit ca5ac02 pushed by david-christiansen
15m 48s main
main
15m 48s
chore: bump to nightly-2025-11-30 CI (without module system) #93: Pull request #190 opened by david-christiansen
12m 30s bump-2025-11-30
bump-2025-11-30
12m 30s
chore: bump to nightly-2025-11-25 (#189) CI (without module system) #92: Commit db24c5f pushed by david-christiansen
13m 59s main
main
13m 59s
chore: bump to nightly-2025-11-25 CI (without module system) #91: Pull request #189 opened by david-christiansen
14m 15s bump-2025-11-25
bump-2025-11-25
14m 15s
feat: allow extraction as server or batch mode (#188) CI (without module system) #90: Commit 519b262 pushed by david-christiansen
33m 55s main
main
33m 55s