Skip to content

Actions: metadatastician/enaction-engine

Actions

E2E + Aspect + Bench

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
e2e.yml
52 workflow runs
52 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
proof(creusot): verify CAC contract compatibility E2E + Aspect + Bench #52: Commit 2ec9f63 pushed by hyperpolymath
55s main
main
55s
fix(abi): enforce 64-bit accelerator target E2E + Aspect + Bench #51: Pull request #59 synchronize by hyperpolymath
1m 11s fix/accelerator-64-bit-abi
fix/accelerator-64-bit-abi
1m 11s
proof(idris2): specify buffer pointer validity E2E + Aspect + Bench #50: Pull request #57 synchronize by hyperpolymath
58s proof/idris-buffer-pointer-policy
proof/idris-buffer-pointer-policy
58s
proof(idris2): prove accelerator field bounds E2E + Aspect + Bench #49: Pull request #58 synchronize by hyperpolymath
43s proof/idris-layout-bounds
proof/idris-layout-bounds
43s
proof(idris2): prove operation-code injectivity E2E + Aspect + Bench #48: Pull request #55 synchronize by hyperpolymath
38s feat/idris-operation-uniqueness
feat/idris-operation-uniqueness
38s
proof(idris2): prove accelerator field bounds E2E + Aspect + Bench #47: Pull request #58 synchronize by hyperpolymath
45s proof/idris-layout-bounds
proof/idris-layout-bounds
45s
fix(abi): enforce 64-bit accelerator target E2E + Aspect + Bench #46: Pull request #59 synchronize by hyperpolymath
48s fix/accelerator-64-bit-abi
fix/accelerator-64-bit-abi
48s
proof(idris2): specify buffer pointer validity E2E + Aspect + Bench #45: Pull request #57 synchronize by hyperpolymath
56s proof/idris-buffer-pointer-policy
proof/idris-buffer-pointer-policy
56s
proof(idris2): specify buffer pointer validity E2E + Aspect + Bench #44: Pull request #57 synchronize by hyperpolymath
2s proof/idris-buffer-pointer-policy
proof/idris-buffer-pointer-policy
2s
proof(idris2): prove operation-code injectivity E2E + Aspect + Bench #43: Pull request #55 synchronize by hyperpolymath
42s feat/idris-operation-uniqueness
feat/idris-operation-uniqueness
42s
fix(ci): recover workflow admission and Pages (#53) E2E + Aspect + Bench #42: Commit b45bd0a pushed by github-merge-queue Bot
Startup failure main
main
Startup failure
proof(idris2): specify buffer pointer validity E2E + Aspect + Bench #41: Pull request #57 synchronize by hyperpolymath
45s proof/idris-buffer-pointer-policy
proof/idris-buffer-pointer-policy
45s
proof(idris2): prove accelerator field bounds E2E + Aspect + Bench #40: Pull request #58 synchronize by hyperpolymath
1m 21s proof/idris-layout-bounds
proof/idris-layout-bounds
1m 21s
proof(idris2): prove accelerator field bounds E2E + Aspect + Bench #39: Pull request #58 synchronize by hyperpolymath
2s proof/idris-layout-bounds
proof/idris-layout-bounds
2s
fix(abi): enforce 64-bit accelerator target E2E + Aspect + Bench #38: Pull request #59 synchronize by hyperpolymath
45s fix/accelerator-64-bit-abi
fix/accelerator-64-bit-abi
45s
fix(abi): enforce 64-bit accelerator target E2E + Aspect + Bench #37: Pull request #59 synchronize by hyperpolymath
2s fix/accelerator-64-bit-abi
fix/accelerator-64-bit-abi
2s
proof(idris2): prove operation-code injectivity E2E + Aspect + Bench #36: Pull request #55 synchronize by hyperpolymath
43s feat/idris-operation-uniqueness
feat/idris-operation-uniqueness
43s
proof(idris2): prove operation-code injectivity E2E + Aspect + Bench #35: Pull request #55 synchronize by hyperpolymath
1m 32s feat/idris-operation-uniqueness
feat/idris-operation-uniqueness
1m 32s
fix(abi): enforce 64-bit accelerator target E2E + Aspect + Bench #34: Pull request #59 synchronize by hyperpolymath
51s fix/accelerator-64-bit-abi
fix/accelerator-64-bit-abi
51s
proof(idris2): specify buffer pointer validity E2E + Aspect + Bench #33: Pull request #57 synchronize by hyperpolymath
1m 38s proof/idris-buffer-pointer-policy
proof/idris-buffer-pointer-policy
1m 38s
proof(idris2): prove accelerator field bounds E2E + Aspect + Bench #32: Pull request #58 synchronize by hyperpolymath
1m 11s proof/idris-layout-bounds
proof/idris-layout-bounds
1m 11s
proof(idris2): prove operation-code injectivity E2E + Aspect + Bench #31: Pull request #55 synchronize by hyperpolymath
3s feat/idris-operation-uniqueness
feat/idris-operation-uniqueness
3s
fix(ci): refresh actions.lock with gh actions-lock E2E + Aspect + Bench #30: Commit b775674 pushed by hyperpolymath
1m 30s main
main
1m 30s
build(deps): Bump the actions group with 4 updates (#46) E2E + Aspect + Bench #29: Commit e6c4162 pushed by hyperpolymath
Startup failure main
main
Startup failure
test(e2e): replace the template self-test with accelerator conformanc… E2E + Aspect + Bench #28: Commit 77041fb pushed by hyperpolymath
54s main
main
54s