Skip to content

Actions: hyperpolymath/boj-server

Actions

E2E + Aspect + Bench

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
e2e.yml
450 workflow runs
450 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
feat(scripts): hcg-policy-smoke.sh — unknown-path default-deny canary (Phase E) E2E + Aspect + Bench #300: Pull request #222 opened by hyperpolymath
22s feat/hcg-smoke-unknown-path-canary
feat/hcg-smoke-unknown-path-canary
22s
fix(proofs): add allTake/fromLteTrue lemmas + extend path_claims test… E2E + Aspect + Bench #299: Commit d0f32e1 pushed by hyperpolymath
6m 39s main
main
6m 39s
fix(proofs): add allTake/fromLteTrue lemmas + extend path_claims tests E2E + Aspect + Bench #298: Pull request #221 opened by hyperpolymath
7m 13s fix/abi-proof-improvements-and-boot-smoke
fix/abi-proof-improvements-and-boot-smoke
7m 13s
feat: truthfulness gate + proof typecheck + trusted-base scripts E2E + Aspect + Bench #297: Commit 7f001c2 pushed by hyperpolymath
18s main
main
18s
feat: truthfulness gate + proof typecheck + trusted-base scripts E2E + Aspect + Bench #296: Pull request #220 synchronize by hyperpolymath
16s claude/foundry-a1-close
claude/foundry-a1-close
16s
feat: truthfulness gate + proof typecheck + trusted-base scripts E2E + Aspect + Bench #295: Pull request #220 synchronize by hyperpolymath
16s claude/foundry-a1-close
claude/foundry-a1-close
16s
docs: capture required-gate CI pattern (conventions + wiki + STATE) (… E2E + Aspect + Bench #294: Commit a095b29 pushed by hyperpolymath
17s main
main
17s
docs: capture required-gate CI pattern (conventions + wiki + STATE) E2E + Aspect + Bench #293: Pull request #219 opened by hyperpolymath
18s claude/zen-galileo-52EWF
claude/zen-galileo-52EWF
18s
docs(planning): 2026-06-13 session artifacts — proof checkpoint + own… E2E + Aspect + Bench #292: Commit 648de4d pushed by hyperpolymath
34s main
main
34s
docs(planning): 2026-06-13 session artifacts — proof checkpoint + owner-decision batch E2E + Aspect + Bench #291: Pull request #217 synchronize by hyperpolymath
17s claude/nifty-hypatia-wu31kw
claude/nifty-hypatia-wu31kw
17s
docs(planning): 2026-06-13 session artifacts — proof checkpoint + owner-decision batch E2E + Aspect + Bench #290: Pull request #217 opened by hyperpolymath
19s claude/nifty-hypatia-wu31kw
claude/nifty-hypatia-wu31kw
19s
feat(scripts): extend §1.5 verb-canary coverage (Phase E) (#215) E2E + Aspect + Bench #289: Commit cb021c4 pushed by hyperpolymath
30s main
main
30s
chore(deps): bump nixpkgs from 8c3cede to 8c91a71 (#213) E2E + Aspect + Bench #288: Commit 4bf4641 pushed by hyperpolymath
4s main
main
4s
chore(deps): bump nixpkgs from 8c3cede to 8c91a71 E2E + Aspect + Bench #287: Pull request #213 synchronize by hyperpolymath
21s dependabot/nix/nixpkgs-8c91a71
dependabot/nix/nixpkgs-8c91a71
21s
feat(scripts): extend §1.5 verb-canary coverage (Phase E) E2E + Aspect + Bench #286: Pull request #215 synchronize by hyperpolymath
26s phase-e-smoke-verb-canary-expansion
phase-e-smoke-verb-canary-expansion
26s
ci: make path-filtered required gates always report (unblock stuck PR… E2E + Aspect + Bench #285: Commit ece30ad pushed by hyperpolymath
19s main
main
19s
ci: make path-filtered required gates always report (unblock stuck PRs) E2E + Aspect + Bench #284: Pull request #216 opened by hyperpolymath
16s claude/ci-required-check-skip-shim
claude/ci-required-check-skip-shim
16s
ci(bridge): {Node, Deno, Bun} matrix — unit suite + MCP boot smoke (#… E2E + Aspect + Bench #283: Commit a289907 pushed by hyperpolymath
6m 6s main
main
6m 6s
ci(bridge): {Node, Deno, Bun} matrix — unit suite + MCP boot smoke E2E + Aspect + Bench #282: Pull request #212 synchronize by hyperpolymath
5m 25s claude/nifty-hypatia-wu31kw
claude/nifty-hypatia-wu31kw
5m 25s
ci(bridge): {Node, Deno, Bun} matrix — unit suite + MCP boot smoke E2E + Aspect + Bench #281: Pull request #212 opened by hyperpolymath
14m 19s claude/nifty-hypatia-wu31kw
claude/nifty-hypatia-wu31kw
14m 19s
v1 critical chain plan (G0–G6) + fix Node install path in mcp-bridge … E2E + Aspect + Bench #280: Commit a61ae15 pushed by hyperpolymath
6m 10s main
main
6m 10s
v1 critical chain plan (G0–G6) + fix Node install path in mcp-bridge E2E + Aspect + Bench #279: Pull request #211 opened by hyperpolymath
6m 16s claude/nifty-hypatia-wu31kw
claude/nifty-hypatia-wu31kw
6m 16s
Claude/cartridge abi proofs E2E + Aspect + Bench #278: Pull request #204 opened by hyperpolymath
5m 49s claude/cartridge-abi-proofs
claude/cartridge-abi-proofs
5m 49s
feat(catalog): truthful availability — available:true ⇒ built + verif… E2E + Aspect + Bench #277: Commit 124b9a9 pushed by hyperpolymath
5m 52s main
main
5m 52s
Truthful catalogue: available:true ⇒ built + verified-real (+ CI gate) E2E + Aspect + Bench #276: Pull request #196 synchronize by hyperpolymath
6m 4s claude/truthfulness-pass
claude/truthfulness-pass
6m 4s