Skip to content

Actions: pulseengine/synth

Actions

Signing E2E

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
signing-e2e.yml
145 workflow runs
145 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.16.0 — AAPCS stack-arg path lowers >8 scalar param… Signing E2E #145: Commit 4a6b1ef pushed by avrabe
4m 52s v0.16.0
v0.16.0
4m 52s
Signing E2E Signing E2E #144: by avrabe
1m 50s v0.15.1
v0.15.1
1m 50s
feat(vcr-ra): ship immediate-shift folding default-on — v0.15.0 (#390… Signing E2E #143: Commit cc203ec pushed by avrabe
1m 50s v0.15.0
v0.15.0
1m 50s
feat(vcr-ra): ship i32 local promotion default-on — v0.14.0 (VCR-RA-0… Signing E2E #142: Commit 6b46f09 pushed by avrabe
1m 46s v0.14.0
v0.14.0
1m 46s
chore(deps): bump actions/checkout from 6 to 7 (#431) Signing E2E #141: Commit 92403d2 pushed by avrabe
9m 27s main
main
9m 27s
feat(vcr-sel): ship cmp→select fusion default-on — v0.13.0 (VCR-SEL-0… Signing E2E #140: Commit 377b93e pushed by avrabe
2m 4s v0.13.0
v0.13.0
2m 4s
chore(deps): bump actions/checkout from 6 to 7 Signing E2E #139: Pull request #431 synchronize by dependabot Bot
2m 6s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
2m 6s
chore(release): v0.12.0 — DWARF source-line debugging (VCR-DBG-001, #… Signing E2E #138: Commit 068f6ed pushed by avrabe
4m 2s v0.12.0
v0.12.0
4m 2s
feat(dwarf): emit .rel.debug_* so a linker fixes up DWARF .text addre… Signing E2E #137: Commit 9a34c8d pushed by avrabe
2m 42s main
main
2m 42s
chore(deps): bump actions/checkout from 6 to 7 Signing E2E #136: Pull request #431 opened by dependabot Bot
8m 1s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
8m 1s
feat(dwarf): emit .rel.debug_* so a linker fixes up DWARF .text addresses (VCR-DBG-001 PR C, #394) Signing E2E #135: Pull request #430 opened by avrabe
3m 19s feat/dwarf-relocations-pr-c-394
feat/dwarf-relocations-pr-c-394
3m 19s
feat(dwarf): emit DWARF debug sections behind --debug-line (VCR-DBG-0… Signing E2E #134: Commit a89ef28 pushed by avrabe
3m 40s main
main
3m 40s
feat(dwarf): emit DWARF debug sections behind --debug-line (VCR-DBG-001, #242, #394) Signing E2E #133: Pull request #429 synchronize by avrabe
2m 40s vcr-dbg-001-debug-line-emit
vcr-dbg-001-debug-line-emit
2m 40s
feat(dwarf): emit DWARF debug sections behind --debug-line (VCR-DBG-001, #242, #394) Signing E2E #132: Pull request #429 opened by avrabe
13m 3s vcr-dbg-001-debug-line-emit
vcr-dbg-001-debug-line-emit
13m 3s
test(vcr-mem): layer-2 honest-fail safety oracle — unbounded recursio… Signing E2E #131: Commit 007fec0 pushed by avrabe
3m 50s main
main
3m 50s
test(vcr-mem): layer-2 honest-fail safety oracle — unbounded recursion refuses a proven budget (#242, #383) Signing E2E #130: Pull request #425 opened by avrabe
1m 15s vcr-mem-001-layer2-honest-fail-oracle
vcr-mem-001-layer2-honest-fail-oracle
1m 15s
test(vcr-mem): layer-2 cross-check on gust_kernel's flashed silicon b… Signing E2E #129: Commit 47820e8 pushed by avrabe
1m 35s main
main
1m 35s
test(vcr-mem): layer-2 cross-check on gust_kernel's flashed silicon budget (#242, #383) Signing E2E #128: Pull request #424 opened by avrabe
1m 19s vcr-mem-001-layer2-gust-budget-check
vcr-mem-001-layer2-gust-budget-check
1m 19s
test(vcr-mem): layer-2 end-to-end budget pipeline on real gust fixtur… Signing E2E #127: Commit 3a6321e pushed by avrabe
3m 30s main
main
3m 30s
test(vcr-mem): layer-2 end-to-end budget pipeline on real gust fixture (#242, #383) Signing E2E #126: Pull request #423 opened by avrabe
1m 38s vcr-mem-001-layer2-e2e-pipeline-test
vcr-mem-001-layer2-e2e-pipeline-test
1m 38s
feat(vcr-mem): layer-2 shadow-stack budget decision logic, frozen-saf… Signing E2E #125: Commit e375eff pushed by avrabe
3m 13s main
main
3m 13s
feat(vcr-mem): layer-2 shadow-stack budget decision logic, frozen-safe (#242, #383) Signing E2E #124: Pull request #421 opened by avrabe
2m 4s vcr-mem-001-layer2-budget-logic
vcr-mem-001-layer2-budget-logic
2m 4s
chore(release): v0.11.51 — VCR-MEM-001 layer-1 shadow-stack shrink + … Signing E2E #123: Commit 8489153 pushed by avrabe
2m 26s v0.11.51
v0.11.51
2m 26s
feat(mem): VCR-MEM-001 layer-1 — native-pointer shadow-stack reservat… Signing E2E #122: Commit 4341d46 pushed by avrabe
1m 19s main
main
1m 19s
feat(mem): VCR-MEM-001 layer-1 — native-pointer shadow-stack reservation shrink (#383, #242) Signing E2E #121: Pull request #409 opened by avrabe
1m 18s feat/vcr-mem-001-shadow-stack-shrink
feat/vcr-mem-001-shadow-stack-shrink
1m 18s