Skip to content

Actions: verum-lang/verum

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,963 workflow runs
1,963 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
feat(smt): reflect enum-dispatch match + variant paths into SMT (T0… Audit gates #328: Commit a7c8b36 pushed by old8man
4m 31s main
main
4m 31s
fix(vcs): data_type.vr mounts core.base.data, not the non-existent co… Audit gates #327: Commit aaad315 pushed by old8man
30m 38s main
main
30m 38s
fix(vcs): data_type.vr mounts core.base.data, not the non-existent co… CI #1113: Commit aaad315 pushed by old8man
1h 21m 10s main
main
1h 21m 10s
fix(types): lazy variant loader feeds the unifier's original-type + v… Audit gates #326: Commit 3041c20 pushed by old8man
17m 47s main
main
17m 47s
fix(types): lazy variant loader feeds the unifier's original-type + v… CI #1112: Commit 3041c20 pushed by old8man
17m 48s main
main
17m 48s
fix(ci): audit-gates External-prover installs coq, not non-existent r… Audit gates #325: Commit b743130 pushed by old8man
30m 21s main
main
30m 21s
fix(ci): audit-gates External-prover installs coq, not non-existent r… CI #1111: Commit b743130 pushed by old8man
1h 41m 52s main
main
1h 41m 52s
fix(ci): audit-gates provisions LLVM before building verum Audit gates #324: Commit 8cad475 pushed by old8man
30m 37s main
main
30m 37s
fix(ci): audit-gates provisions LLVM before building verum CI #1110: Commit 8cad475 pushed by old8man
55m 5s main
main
55m 5s
refactor(codegen): delete dead ArithSubOpcode float arms Atan2/Hypot/… CI #1109: Commit 5975da8 pushed by old8man
12m 0s main
main
12m 0s
refactor(codegen): delete dead ArithSubOpcode float arms Atan2/Hypot/… Audit gates #323: Commit 5975da8 pushed by old8man
11m 59s main
main
11m 59s
fix(stdlib): hooks_api re-exports busy_timeout's BusyDecision — eight… Audit gates #322: Commit 0aaf756 pushed by old8man
17m 19s main
main
17m 19s
fix(stdlib): hooks_api re-exports busy_timeout's BusyDecision — eight… CI #1108: Commit 0aaf756 pushed by old8man
1h 19m 8s main
main
1h 19m 8s
Dev release (rolling) Dev release (rolling) #36: Manually run by old8man
1h 38m 19s main
main
1h 38m 19s
fix(ci): correct LLVM prebuild layout-check globs — LLD libs are lld*… Audit gates #321: Commit 2796a8b pushed by old8man
17m 43s main
main
17m 43s
fix(ci): correct LLVM prebuild layout-check globs — LLD libs are lld*… Build LLVM (prebuilt cache) #7: Commit 2796a8b pushed by old8man
3h 34m 17s main
main
3h 34m 17s
fix(ci): correct LLVM prebuild layout-check globs — LLD libs are lld*… CI #1107: Commit 2796a8b pushed by old8man
3h 30m 38s main
main
3h 30m 38s
Dev release (rolling) Dev release (rolling) #35: Manually run by old8man
3h 0m 54s main
main
3h 0m 54s
ci(dev-release): daily schedule instead of per-push — every asset ref… CI #1106: Commit 18ab63a pushed by old8man
54m 43s main
main
54m 43s
ci(dev-release): daily schedule instead of per-push — every asset ref… Audit gates #320: Commit 18ab63a pushed by old8man
17m 55s main
main
17m 55s
fix(types): reject the non-canonical .align type-property abbreviatio… Dev release (rolling) #34: Commit 95eab38 pushed by old8man
12m 32s main
main
12m 32s
fix(types): reject the non-canonical .align type-property abbreviatio… Audit gates #319: Commit 95eab38 pushed by old8man
11m 50s main
main
11m 50s
fix(types): reject the non-canonical .align type-property abbreviatio… CI #1105: Commit 95eab38 pushed by old8man
11m 49s main
main
11m 49s
fix(codegen): propagate closure capture types so a captured Text prin… Dev release (rolling) #33: Commit 01b2485 pushed by old8man
2h 6m 6s main
main
2h 6m 6s
fix(codegen): propagate closure capture types so a captured Text prin… CI #1104: Commit 01b2485 pushed by old8man
2h 6m 0s main
main
2h 6m 0s