Skip to content

Actions: pulseengine/synth

Actions

Signing E2E

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
signing-e2e.yml
345 workflow runs
345 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
docs(#945): correct a false claim we wrote, and stop a gate passing o… Signing E2E #345: Commit 3e5c3e8 pushed by avrabe
25m 42s main
main
25m 42s
docs(#945): correct a false claim we wrote, and stop a gate passing on nothing Signing E2E #344: Pull request #945 synchronize by avrabe
1h 29m 51s fix/doc-truth-corrections-945
fix/doc-truth-corrections-945
1h 29m 51s
fix(#932): --proven-safe must never elide against a floor it invented… Signing E2E #343: Commit 810cddc pushed by avrabe
6m 47s main
main
6m 47s
fix(#932): --proven-safe must never elide against a floor it invented (SECURITY) Signing E2E #342: Pull request #934 synchronize by avrabe
1m 54s fix/proven-safe-imported-memory-932
fix/proven-safe-imported-memory-932
1m 54s
fix(#932): --proven-safe must never elide against a floor it invented (SECURITY) Signing E2E #341: Pull request #934 opened by avrabe
2m 5s fix/proven-safe-imported-memory-932
fix/proven-safe-imported-memory-932
2m 5s
Merge pull request #925 from pulseengine/release/v0.55.0 Signing E2E #340: Commit 97bd6db pushed by avrabe
2m 13s v0.55.0
v0.55.0
2m 13s
wcet: name the op and byte offset in an unmodeled-op decline (#921)… Signing E2E #339: Commit 6c3d62a pushed by avrabe
2m 32s main
main
2m 32s
wcet: name the op and byte offset in an unmodeled-op decline (#921) Signing E2E #338: Pull request #922 synchronize by avrabe
2m 34s fix/wcet-unmodeled-op-names-921
fix/wcet-unmodeled-op-names-921
2m 34s
wcet: name the op and byte offset in an unmodeled-op decline (#921) Signing E2E #337: Pull request #922 synchronize by avrabe
1h 16m 5s fix/wcet-unmodeled-op-names-921
fix/wcet-unmodeled-op-names-921
1h 16m 5s
wcet: name the op and byte offset in an unmodeled-op decline (#921) Signing E2E #336: Pull request #922 opened by avrabe
6m 45s fix/wcet-unmodeled-op-names-921
fix/wcet-unmodeled-op-names-921
6m 45s
feat(#901): ProvenSafeBoundsChecker — fail-closed, attested bounds-ch… Signing E2E #335: Commit c1bdb95 pushed by avrabe
28m 56s main
main
28m 56s
feat(#901): ProvenSafeBoundsChecker — fail-closed, attested bounds-check elision from scry's proofs (VCR-MEM-004) Signing E2E #334: Pull request #915 opened by avrabe
22m 45s feat/901-proven-safe-bounds
feat/901-proven-safe-bounds
22m 45s
chore(release): v0.54.0 — "Close what we measured" (6 lanes) (#909) Signing E2E #333: Commit 65417c0 pushed by avrabe
2m 30s v0.54.0
v0.54.0
2m 30s
aarch64: call_indirect (§4.4.8 traps) + globals + param homing (#851)… Signing E2E #332: Commit 3899997 pushed by avrabe
2m 40s main
main
2m 40s
aarch64: call_indirect (§4.4.8 traps) + globals + param homing (#851) Signing E2E #331: Pull request #899 synchronize by avrabe
2m 56s l3-aarch64-indirect-globals
l3-aarch64-indirect-globals
2m 56s
aarch64: call_indirect (§4.4.8 traps) + globals + param homing (#851) Signing E2E #330: Pull request #899 opened by avrabe
29m 52s l3-aarch64-indirect-globals
l3-aarch64-indirect-globals
29m 52s
chore(release): v0.53.0 — "The last mile" (7 lanes) (#892) Signing E2E #329: Commit 01d8a2a pushed by avrabe
2m 59s v0.53.0
v0.53.0
2m 59s
aarch64: VCR-SEL-005 third-backend parity gate + 13 measured op gaps … Signing E2E #328: Commit f9556ef pushed by avrabe
1m 51s main
main
1m 51s
RV32 br_table lowering + hard-error on target/backend ISA mismatch (#… Signing E2E #327: Commit a348a71 pushed by avrabe
1m 32s main
main
1m 32s
RV32 br_table lowering + hard-error on target/backend ISA mismatch (#882) Signing E2E #326: Pull request #887 synchronize by avrabe
1h 5m 22s feat/rv32-brtable-target-882
feat/rv32-brtable-target-882
1h 5m 22s
aarch64: VCR-SEL-005 third-backend parity gate + 13 measured op gaps closed (#851, #883) Signing E2E #325: Pull request #889 synchronize by avrabe
1h 12m 42s feat/aarch64-residual-851
feat/aarch64-residual-851
1h 12m 42s
RV32 br_table lowering + hard-error on target/backend ISA mismatch (#882) Signing E2E #324: Pull request #887 synchronize by avrabe
15m 40s feat/rv32-brtable-target-882
feat/rv32-brtable-target-882
15m 40s
aarch64: VCR-SEL-005 third-backend parity gate + 13 measured op gaps closed (#851, #883) Signing E2E #323: Pull request #889 synchronize by avrabe
11m 6s feat/aarch64-residual-851
feat/aarch64-residual-851
11m 6s
RV32 br_table lowering + hard-error on target/backend ISA mismatch (#882) Signing E2E #322: Pull request #887 synchronize by avrabe
5m 21s feat/rv32-brtable-target-882
feat/rv32-brtable-target-882
5m 21s
RV32 br_table lowering + hard-error on target/backend ISA mismatch (#882) Signing E2E #321: Pull request #887 opened by avrabe
2m 20s feat/rv32-brtable-target-882
feat/rv32-brtable-target-882
2m 20s