Skip to content

Actions: hyperpolymath/panoply

Actions

E2E + Aspect + Bench

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
e2e.yml
196 workflow runs
196 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
Coderabbit/changes/b2508d67 E2E + Aspect + Bench #196: Pull request #114 opened by hyperpolymath
22s coderabbit/changes/b2508d67
coderabbit/changes/b2508d67
22s
Fix CI validators and align readiness, licensing, and template documentation E2E + Aspect + Bench #195: Pull request #107 opened by coderabbitai Bot
16s coderabbit/changes/3bf65057
coderabbit/changes/3bf65057
16s
chore: replace template TODOs; holdings not product stubs (salvage from stale phase11-final) E2E + Aspect + Bench #194: Pull request #106 opened by hyperpolymath
18s chore/salvage-phase11-todos
chore/salvage-phase11-todos
18s
Chore/phase11 final (#105) E2E + Aspect + Bench #193: Commit 488810e pushed by hyperpolymath
19s main
main
19s
Chore/phase11 final E2E + Aspect + Bench #192: Pull request #105 synchronize by coderabbitai Bot
15s chore/phase11-final
chore/phase11-final
15s
Chore/phase11 final E2E + Aspect + Bench #191: Pull request #105 synchronize by coderabbitai Bot
16s chore/phase11-final
chore/phase11-final
16s
Chore/phase11 final E2E + Aspect + Bench #190: Pull request #105 synchronize by coderabbitai Bot
17s chore/phase11-final
chore/phase11-final
17s
chore: drop empty holdings; coprocessor catalogue; pons status (#104) E2E + Aspect + Bench #189: Commit c931c4c pushed by hyperpolymath
15s main
main
15s
chore: drop empty holdings; coprocessor catalogue; pons status E2E + Aspect + Bench #188: Pull request #104 synchronize by hyperpolymath
17s chore/holdings-coprocessor
chore/holdings-coprocessor
17s
chore: drop empty holdings; coprocessor catalogue; pons status E2E + Aspect + Bench #187: Pull request #104 opened by hyperpolymath
18s chore/holdings-coprocessor
chore/holdings-coprocessor
18s
fix(docs): GitHub README precedence; descriptiles not 6a2 (#103) E2E + Aspect + Bench #186: Commit ce44d2f pushed by hyperpolymath
18s main
main
18s
fix(docs): GitHub README precedence; descriptiles not 6a2 E2E + Aspect + Bench #185: Pull request #103 synchronize by hyperpolymath
19s chore/phase11-final
chore/phase11-final
19s
E2E + Aspect + Bench E2E + Aspect + Bench #184: Manually run by hyperpolymath
19s main
main
19s
docs(phase6): README.adoc layers, setup, wiki plan (#74) E2E + Aspect + Bench #183: Commit 0e556d5 pushed by hyperpolymath
14s main
main
14s
docs(phase6): README.adoc layers, setup, wiki plan E2E + Aspect + Bench #182: Pull request #74 opened by hyperpolymath
19s chore/phase6-docs
chore/phase6-docs
19s
docs(phase4): test/bench/proof taxonomy (honest N/A) (#72) E2E + Aspect + Bench #181: Commit 7a85204 pushed by hyperpolymath
14s main
main
14s
docs(phase4): test/bench/proof taxonomy (honest N/A) E2E + Aspect + Bench #180: Pull request #72 opened by hyperpolymath
17s chore/phase4-verification
chore/phase4-verification
17s
feat: Idris2-only proofs, e2e CI, emitter, backend/projection specs (… E2E + Aspect + Bench #179: Commit 626bd6a pushed by hyperpolymath
14s main
main
14s
feat: Idris2-only proofs, e2e CI, emitter, backend/projection specs E2E + Aspect + Bench #178: Pull request #70 opened by hyperpolymath
19s chore/deed-guix-core-tests
chore/deed-guix-core-tests
19s
chore: housekeeping + #7 manifest schema (no emitter) E2E + Aspect + Bench #177: Commit 9d22060 pushed by hyperpolymath
Failure chore/deed-guix-core-tests
chore/deed-guix-core-tests
Failure
chore: housekeeping + manifest schema (#7 spec only) (#69) E2E + Aspect + Bench #176: Commit 8abde15 pushed by hyperpolymath
Failure main
main
Failure
chore: housekeeping + #7 manifest schema (no emitter) E2E + Aspect + Bench #175: Commit 9d22060 pushed by hyperpolymath
Failure chore/deed-guix-core-tests
chore/deed-guix-core-tests
Failure
chore: housekeeping + #7 manifest schema (no emitter) E2E + Aspect + Bench #174: Commit cd1243d pushed by hyperpolymath
Failure chore/deed-guix-core-tests
chore/deed-guix-core-tests
Failure
Chore/deed guix core tests (#68) E2E + Aspect + Bench #173: Commit 684c92d pushed by hyperpolymath
Failure main
main
Failure
feat(phase2): language audit, Zig API stub, launcher bind, CLI arity E2E + Aspect + Bench #172: Commit 6f1aa4d pushed by hyperpolymath
Failure chore/deed-guix-core-tests
chore/deed-guix-core-tests
Failure