Skip to content

Actions: pulseengine/loom

Actions

Validate Shared Architecture

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
validate-shared.yml
572 workflow runs
572 workflow runs

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(verify): #313 Tier-2 slice 1 — translation validator's pure-BV o… Validate Shared Architecture #572: Commit fd61f5e pushed by avrabe
50m 3s main
main
50m 3s
feat(verify): #313 Tier-2 slice 1 — translation validator's pure-BV obligations on the certificate-checked solver Validate Shared Architecture #571: Pull request #330 opened by avrabe
34m 31s feat/313-tier2-slice1-pure-bv
feat/313-tier2-slice1-pure-bv
34m 31s
chore(release): v1.4.0 (#329) Validate Shared Architecture #570: Commit 3375f91 pushed by avrabe
28m 11s main
main
28m 11s
chore(release): v1.4.0 — funcref-global miscompile fix, wsc.facts source, component reachability GC, committed lockfile Validate Shared Architecture #569: Pull request #329 opened by avrabe
1h 39m 54s chore/release-v1.4.0
chore/release-v1.4.0
1h 39m 54s
fix(#231): do not emit point ranges for literal constants (#328) Validate Shared Architecture #568: Commit dc9685e pushed by avrabe
1h 57m 6s main
main
1h 57m 6s
fix(#231): do not emit point ranges for literal constants Validate Shared Architecture #567: Pull request #328 opened by avrabe
3h 5m 17s fix/231-suppress-literal-facts
fix/231-suppress-literal-facts
3h 5m 17s
feat(component): #239 Phase B — component-level reachability GC (#324) Validate Shared Architecture #566: Commit 801d3f2 pushed by avrabe
4h 38m 59s main
main
4h 38m 59s
feat(#231): wire the wsc.facts value-range SOURCE (constants, masks, … Validate Shared Architecture #565: Commit e3a24d5 pushed by avrabe
41s main
main
41s
feat(#320): commit Cargo.lock and correct the mis-cited lockfile issu… Validate Shared Architecture #564: Commit 0a81f31 pushed by avrabe
16s main
main
16s
fix(#326): decline the dead-function sweep when a funcref global may … Validate Shared Architecture #563: Commit 8f82eb0 pushed by avrabe
1h 37m 8s main
main
1h 37m 8s
fix(#326): decline the dead-function sweep when a funcref global may hold ref.func Validate Shared Architecture #562: Pull request #327 opened by avrabe
4h 28m 19s fix/326-reffunc-liveness-guard
fix/326-reffunc-liveness-guard
4h 28m 19s
feat(component): #239 Phase B — component-level reachability GC (drops the unreachable cabi_realloc, #303) Validate Shared Architecture #561: Pull request #324 opened by avrabe
5h 36m 8s feat/239-phase-b-reachability-gc
feat/239-phase-b-reachability-gc
5h 36m 8s
feat(#231): wire the wsc.facts value-range SOURCE (constants, masks, booleans) Validate Shared Architecture #560: Pull request #322 synchronize by avrabe
3h 25m 14s feat/231-fact-source
feat/231-fact-source
3h 25m 14s
feat(#231): wire the wsc.facts value-range SOURCE (constants, masks, booleans) Validate Shared Architecture #559: Pull request #322 opened by avrabe
6m 21s feat/231-fact-source
feat/231-fact-source
6m 21s
feat(#320): commit Cargo.lock — end the floating-dependency class Validate Shared Architecture #558: Pull request #321 opened by avrabe
4h 25m 20s feat/320-commit-cargo-lock
feat/320-commit-cargo-lock
4h 25m 20s
fix(ci): close the dependabot ignore gap — all cargo ecosystems, not … Validate Shared Architecture #557: Commit 73a1766 pushed by avrabe
2h 26m 56s main
main
2h 26m 56s
fix(ci): close the dependabot ignore gap — all cargo ecosystems, not just root Validate Shared Architecture #556: Pull request #319 opened by avrabe
3h 17m 6s fix/dependabot-ignore-all-ecosystems
fix/dependabot-ignore-all-ecosystems
3h 17m 6s
chore(deps): update cranelift-isle requirement in /fuzz (#318) Validate Shared Architecture #555: Commit b71fd09 pushed by temper-pulseengine Bot
3h 30m 44s main
main
3h 30m 44s
chore(deps): update cranelift-isle requirement from 0.132 to 0.134 in /fuzz Validate Shared Architecture #554: Pull request #318 opened by dependabot Bot
2h 47m 18s dependabot/cargo/fuzz/cranelift-isle-0.134
dependabot/cargo/fuzz/cranelift-isle-0.134
2h 47m 18s
chore(deps): update ordeal requirement from 0.17.0 to 0.18.0 (#317) Validate Shared Architecture #553: Commit 08d5e6e pushed by temper-pulseengine Bot
19m 46s main
main
19m 46s
chore(deps): update ordeal requirement from 0.17.0 to 0.18.0 Validate Shared Architecture #552: Pull request #317 opened by dependabot Bot
2h 28m 46s dependabot/cargo/ordeal-0.18.0
dependabot/cargo/ordeal-0.18.0
2h 28m 46s
chore(deps): update wsc-attestation requirement from 0.9 to 0.10 (#316) Validate Shared Architecture #551: Commit 2fb68b1 pushed by temper-pulseengine Bot
12s main
main
12s
chore(deps): update wsc-attestation requirement from 0.9 to 0.10 Validate Shared Architecture #550: Pull request #316 opened by dependabot Bot
2h 3m 20s dependabot/cargo/wsc-attestation-0.10
dependabot/cargo/wsc-attestation-0.10
2h 3m 20s
chore(deps): update wasmtime requirement from 46.0 to 47.0 (#315) Validate Shared Architecture #549: Commit ffd7b58 pushed by temper-pulseengine Bot
26s main
main
26s
chore(deps): update wasmtime requirement from 46.0 to 47.0 Validate Shared Architecture #548: Pull request #315 opened by dependabot Bot
2h 36m 52s dependabot/cargo/wasmtime-47.0
dependabot/cargo/wasmtime-47.0
2h 36m 52s