Skip to content

Actions: verum-lang/verum

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,471 workflow runs
1,471 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
fix(vbc/codegen): inline Paren-Cast arm into receiver_is_primitive_nu… Audit gates #178: Commit 4ae4e60 pushed by old8man
17m 59s main
main
17m 59s
fix(vbc/codegen): inline Paren-Cast arm into receiver_is_primitive_nu… CI #964: Commit 4ae4e60 pushed by old8man
Queued main
main
Queued
Nightly Nightly #36: Scheduled
1h 49m 35s main
main
1h 49m 35s
fix(build/windows): suppress vsdevcmd vswhere noise + harden cargo call Audit gates #177: Commit cb5b5bf pushed by old8man
17m 28s main
main
17m 28s
fix(build/windows): suppress vsdevcmd vswhere noise + harden cargo call CI #963: Commit cb5b5bf pushed by old8man
14h 15m 57s main
main
14h 15m 57s
feat(build): Windows portability + libc-free net_runtime/io_engine Build LLVM (prebuilt cache) #4: Commit e126c90 pushed by old8man
Queued main
main
Queued
feat(build): Windows portability + libc-free net_runtime/io_engine CI #962: Commit e126c90 pushed by old8man
54m 11s main
main
54m 11s
feat(build): Windows portability + libc-free net_runtime/io_engine Audit gates #176: Commit e126c90 pushed by old8man
17m 43s main
main
17m 43s
chore(diagnostics): preserve ad-hoc dev probes for task #27, #32, for… CI #961: Commit 5e15b03 pushed by old8man
4h 46m 41s main
main
4h 46m 41s
chore(diagnostics): preserve ad-hoc dev probes for task #27, #32, for… Audit gates #175: Commit 5e15b03 pushed by old8man
17m 41s main
main
17m 41s
feat(vbc/codegen): #18 phase 5 — Path-to-const stabilisation in stabi… CI #960: Commit 17ab827 pushed by old8man
34m 57s main
main
34m 57s
feat(vbc/codegen): #18 phase 5 — Path-to-const stabilisation in stabi… Audit gates #174: Commit 17ab827 pushed by old8man
17m 48s main
main
17m 48s
test(vcs/L0/cbgr): #18 — regression pin for escape-ref literal case CI #959: Commit 8b09f83 pushed by old8man
2h 0m 58s main
main
2h 0m 58s
test(vcs/L0/cbgr): #18 — regression pin for escape-ref literal case Audit gates #173: Commit 8b09f83 pushed by old8man
16m 16s main
main
16m 16s
feat(vbc/codegen): #26 closure expected-return-type plumbing — infras… CI #958: Commit 67a44a0 pushed by old8man
3h 5m 5s main
main
3h 5m 5s
feat(vbc/codegen): #26 closure expected-return-type plumbing — infras… Audit gates #172: Commit 67a44a0 pushed by old8man
17m 9s main
main
17m 9s
Nightly Nightly #35: Scheduled
1h 52m 42s main
main
1h 52m 42s
fix(stdlib/collections): list.index_of signature unified with slice (… CI #957: Commit 896e3a8 pushed by old8man
15h 49m 49s main
main
15h 49m 49s
fix(stdlib/collections): list.index_of signature unified with slice (… Audit gates #171: Commit 896e3a8 pushed by old8man
19m 30s main
main
19m 30s
fix(task39): explicit Eq.ne for Set (wrapper-Eq cascade) Audit gates #170: Commit cd68f23 pushed by old8man
18m 3s main
main
18m 3s
fix(task39): explicit Eq.ne for Set (wrapper-Eq cascade) CI #956: Commit cd68f23 pushed by old8man
1h 48m 19s main
main
1h 48m 19s
fix(task39): explicit Eq.ne for List (wrapper-Eq cascade) CI #955: Commit ecc0bd4 pushed by old8man
1h 7m 47s main
main
1h 7m 47s
fix(task39): explicit Eq.ne for List (wrapper-Eq cascade) Audit gates #169: Commit ecc0bd4 pushed by old8man
17m 32s main
main
17m 32s
feat(vbc/codegen): #17 migration #10 — variant-tag lookup scope-aware Audit gates #168: Commit 3c15411 pushed by old8man
17m 39s main
main
17m 39s
feat(vbc/codegen): #17 migration #10 — variant-tag lookup scope-aware CI #954: Commit 3c15411 pushed by old8man
27m 56s main
main
27m 56s