Skip to content

Actions: leanprover/subverso

Actions

CI (with module system)

Actions

Loading...
Loading

Show workflow options

Create status badge

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