Skip to content

Actions: pulseengine/meld

Actions

LS-N verification gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verification-gate.yml
246 workflow runs
246 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
chore(release): v0.42.0 — ADR-7 path-H + multiply-instantiated + static-PIC + same-memory transcoding LS-N verification gate #246: Pull request #369 opened by avrabe
5m 23s chore/release-v0.42.0
chore/release-v0.42.0
5m 23s
feat(361): support same-memory string transcoding (lift the #360 hard-fail) LS-N verification gate #245: Pull request #367 synchronize by avrabe
9m 29s feat/361-same-memory-transcoding
feat/361-same-memory-transcoding
9m 29s
fix(353): fold extended-const (base+N) data/element offsets — completes inc-4 fold LS-N verification gate #244: Pull request #368 opened by avrabe
29m 23s fix/353-extended-const-fold
fix/353-extended-const-fold
29m 23s
feat(361): support same-memory string transcoding (lift the #360 hard-fail) LS-N verification gate #243: Pull request #367 opened by avrabe
22m 25s feat/361-same-memory-transcoding
feat/361-same-memory-transcoding
22m 25s
feat(adr7): static-PIC data/element-offset fold — inc 4 (#353) LS-N verification gate #242: Pull request #365 synchronize by avrabe
4m 16s feat/adr7-inc4-pic-topology
feat/adr7-inc4-pic-topology
4m 16s
feat(adr7): static-PIC data/element-offset fold — inc 4 (#353) LS-N verification gate #241: Pull request #365 synchronize by avrabe
1h 46m 41s feat/adr7-inc4-pic-topology
feat/adr7-inc4-pic-topology
1h 46m 41s
feat(adr7): static-PIC data/element-offset fold — inc 4 (#353) LS-N verification gate #240: Pull request #365 synchronize by avrabe
4m 35s feat/adr7-inc4-pic-topology
feat/adr7-inc4-pic-topology
4m 35s
fix(364): gate multiply-instantiated support to verified MultiMemory + fix SR-31 traceability LS-N verification gate #239: Pull request #366 opened by avrabe
2m 50s fix/364-shared-dup-guard-traceability
fix/364-shared-dup-guard-traceability
2m 50s
feat(adr7): static-PIC data/element-offset fold — inc 4 (#353) LS-N verification gate #238: Pull request #365 synchronize by avrabe
11m 25s feat/adr7-inc4-pic-topology
feat/adr7-inc4-pic-topology
11m 25s
feat(adr7): static-PIC data/element-offset fold — inc 4 (#353) LS-N verification gate #237: Pull request #365 opened by avrabe
13m 44s feat/adr7-inc4-pic-topology
feat/adr7-inc4-pic-topology
13m 44s
test(adr7): memory+data-segment independence oracle for inc 3 — SR-55 verified LS-N verification gate #236: Pull request #363 opened by avrabe
38m 39s test/inc3-memory-independence-oracle
test/inc3-memory-independence-oracle
38m 39s
feat(adr7): multiply-instantiated module support — RFC-46 Q1 (path-H inc 3) LS-N verification gate #235: Pull request #362 synchronize by avrabe
51m 48s feat/adr7-inc3-core-instance-topology
feat/adr7-inc3-core-instance-topology
51m 48s
feat(adr7): multiply-instantiated module support — RFC-46 Q1 (path-H inc 3) LS-N verification gate #234: Pull request #362 opened by avrabe
6m 8s feat/adr7-inc3-core-instance-topology
feat/adr7-inc3-core-instance-topology
6m 8s
refactor(adr7): extract the per-boundary call-lowering seam (path-H inc 2) LS-N verification gate #233: Pull request #360 synchronize by avrabe
2m 21s refactor/adr7-call-lowering-seam
refactor/adr7-call-lowering-seam
2m 21s
refactor(adr7): extract the per-boundary call-lowering seam (path-H inc 2) LS-N verification gate #232: Pull request #360 opened by avrabe
7m 40s refactor/adr7-call-lowering-seam
refactor/adr7-call-lowering-seam
7m 40s
docs(adr): ADR-7 — ABI & linking-strategy architecture (canonical mix-and-match vs symmetric/PIC fast lane) LS-N verification gate #231: Pull request #354 synchronize by avrabe
20m 25s docs/adr7-abi-linking-strategy
docs/adr7-abi-linking-strategy
20m 25s
docs(adr): ADR-7 — ABI & linking-strategy architecture (canonical mix-and-match vs symmetric/PIC fast lane) LS-N verification gate #230: Pull request #354 synchronize by avrabe
19m 9s docs/adr7-abi-linking-strategy
docs/adr7-abi-linking-strategy
19m 9s
refactor(adr7): extract the address-strategy seam from the merger (path-H inc 1) LS-N verification gate #229: Pull request #359 synchronize by avrabe
22m 15s refactor/adr7-address-strategy-seam
refactor/adr7-address-strategy-seam
22m 15s
refactor(adr7): extract the address-strategy seam from the merger (path-H inc 1) LS-N verification gate #228: Pull request #359 opened by avrabe
22m 41s refactor/adr7-address-strategy-seam
refactor/adr7-address-strategy-seam
22m 41s
chore(release): v0.41.3 — --component output correctness LS-N verification gate #227: Pull request #358 opened by avrabe
10m 26s release/v0.41.3
release/v0.41.3
10m 26s
docs(adr): ADR-7 — ABI & linking-strategy architecture (canonical mix-and-match vs symmetric/PIC fast lane) LS-N verification gate #226: Pull request #354 synchronize by avrabe
9m 39s docs/adr7-abi-linking-strategy
docs/adr7-abi-linking-strategy
9m 39s
fix(355): --component lifts bare world exports with real signatures LS-N verification gate #225: Pull request #357 synchronize by avrabe
7m 27s fix/355-component-bare-export-types
fix/355-component-bare-export-types
7m 27s
fix(355): --component lifts bare world exports with real signatures LS-N verification gate #224: Pull request #357 opened by avrabe
8m 4s fix/355-component-bare-export-types
fix/355-component-bare-export-types
8m 4s
chore(release): v0.41.2 — stale reloc.CODE backstop LS-N verification gate #223: Pull request #356 opened by avrabe
21m 22s release/v0.41.2
release/v0.41.2
21m 22s
docs(adr): ADR-7 — ABI & linking-strategy architecture (canonical mix-and-match vs symmetric/PIC fast lane) LS-N verification gate #222: Pull request #354 synchronize by avrabe
4m 52s docs/adr7-abi-linking-strategy
docs/adr7-abi-linking-strategy
4m 52s