Skip to content

Actions: leanprover/subverso

Actions

Save demodulized code to no-modules branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
demodulize.yml
30 workflow runs
30 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) Save demodulized code to no-modules branch #30: Commit 3a7e680 pushed by ejgallego
10s main
main
10s
chore: bump CI to 4.27.0 and 4.28.0-rc1 (#199) Save demodulized code to no-modules branch #29: Commit 4539e60 pushed by david-christiansen
11s main
main
11s
chore: bump to 2026-01-19 (#198) Save demodulized code to no-modules branch #28: Commit 2aa0894 pushed by david-christiansen
8s main
main
8s
chore: bump CI for latest releases, update actions (#197) Save demodulized code to no-modules branch #27: Commit 7ada0ee pushed by ejgallego
10s main
main
10s
chore: anchors in readme (#194) Save demodulized code to no-modules branch #26: Commit eab03c5 pushed by david-christiansen
9s main
main
9s
fix: mismatched directory name in examples builder (#196) Save demodulized code to no-modules branch #25: Commit 1e55697 pushed by david-christiansen
10s main
main
10s
fix: skip in nodes when getting command kinds for extraction (#195) Save demodulized code to no-modules branch #24: Commit 947523a pushed by david-christiansen
9s main
main
9s
chore: update error reporting and dependency tracking for highlighted… Save demodulized code to no-modules branch #23: Commit 61e66d0 pushed by david-christiansen
8s main
main
8s
chore: add latest nightly to CI (#191) Save demodulized code to no-modules branch #22: Commit eb77622 pushed by david-christiansen
9s main
main
9s
chore: bump to nightly-2025-11-30 (#190) Save demodulized code to no-modules branch #21: Commit ca5ac02 pushed by david-christiansen
11s main
main
11s
chore: bump to nightly-2025-11-25 (#189) Save demodulized code to no-modules branch #20: Commit db24c5f pushed by david-christiansen
11s main
main
11s
feat: allow extraction as server or batch mode (#188) Save demodulized code to no-modules branch #19: Commit 519b262 pushed by david-christiansen
8s main
main
8s
feat: support for extracting modules that use the module system (#187) Save demodulized code to no-modules branch #18: Commit 08f238a pushed by github-merge-queue bot
9s main
main
9s
chore: bump to 2025-11-19 (#185) Save demodulized code to no-modules branch #17: Commit fe7b907 pushed by github-merge-queue bot
8s main
main
8s
chore: bump CI to latest nightlies and releases (#184) Save demodulized code to no-modules branch #16: Commit dc68230 pushed by github-merge-queue bot
21s main
main
21s
chore: add missing module annotations (#183) Save demodulized code to no-modules branch #15: Commit 1d663ae pushed by github-merge-queue bot
9s main
main
9s
chore: bump to nightly-2025-11-17 (#182) Save demodulized code to no-modules branch #14: Commit d1e3faa pushed by github-merge-queue bot
11s main
main
11s
fix: propagate heartbeat limits and cache rendered exprs (#181) Save demodulized code to no-modules branch #13: Commit 7d83e6a pushed by github-merge-queue bot
11s main
main
11s
fix: only pass the build when the matrix actually completes (#179) Save demodulized code to no-modules branch #12: Commit 2901213 pushed by github-merge-queue bot
10s main
main
10s
chore: bump to nightly-2025-11-14 (#178) Save demodulized code to no-modules branch #11: Commit 1242dc0 pushed by github-merge-queue bot
10s main
main
10s
chore: prepare CI for merge queue (#177) Save demodulized code to no-modules branch #10: Commit a3141e3 pushed by github-merge-queue bot
11s main
main
11s
chore: add v4.25.0 to CI and remove older nightlies (#176) Save demodulized code to no-modules branch #9: Commit a673610 pushed by david-christiansen
15s main
main
15s
chore: detect module system via option queries instead of version (#175) Save demodulized code to no-modules branch #8: Commit 7347dda pushed by david-christiansen
12m 7s main
main
12m 7s
chore: bump to nightly-2025-11-12 (#174) Save demodulized code to no-modules branch #7: Commit 226f7d6 pushed by david-christiansen
8s main
main
8s
chore: bump support to 2025-10-31 (#173) Save demodulized code to no-modules branch #6: Commit f9218aa pushed by david-christiansen
9s main
main
9s