Skip to content

Actions: hyperpolymath/boj-server

Actions

Zig FFI Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
zig-test.yml
341 workflow runs
341 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
fix(proofs): add allTake/fromLteTrue lemmas + extend path_claims test… Zig FFI Tests #191: Commit d0f32e1 pushed by hyperpolymath
10s main
main
10s
fix(proofs): add allTake/fromLteTrue lemmas + extend path_claims tests Zig FFI Tests #190: Pull request #221 opened by hyperpolymath
18s fix/abi-proof-improvements-and-boot-smoke
fix/abi-proof-improvements-and-boot-smoke
18s
feat: truthfulness gate + proof typecheck + trusted-base scripts Zig FFI Tests #189: Commit 7f001c2 pushed by hyperpolymath
12s main
main
12s
feat: truthfulness gate + proof typecheck + trusted-base scripts Zig FFI Tests #188: Pull request #220 synchronize by hyperpolymath
13s claude/foundry-a1-close
claude/foundry-a1-close
13s
feat: truthfulness gate + proof typecheck + trusted-base scripts Zig FFI Tests #187: Pull request #220 synchronize by hyperpolymath
9s claude/foundry-a1-close
claude/foundry-a1-close
9s
docs: capture required-gate CI pattern (conventions + wiki + STATE) (… Zig FFI Tests #186: Commit a095b29 pushed by hyperpolymath
12s main
main
12s
docs: capture required-gate CI pattern (conventions + wiki + STATE) Zig FFI Tests #185: Pull request #219 opened by hyperpolymath
15s claude/zen-galileo-52EWF
claude/zen-galileo-52EWF
15s
docs(planning): 2026-06-13 session artifacts — proof checkpoint + own… Zig FFI Tests #184: Commit 648de4d pushed by hyperpolymath
9s main
main
9s
docs(planning): 2026-06-13 session artifacts — proof checkpoint + owner-decision batch Zig FFI Tests #183: Pull request #217 synchronize by hyperpolymath
15s claude/nifty-hypatia-wu31kw
claude/nifty-hypatia-wu31kw
15s
docs(planning): 2026-06-13 session artifacts — proof checkpoint + owner-decision batch Zig FFI Tests #182: Pull request #217 opened by hyperpolymath
10s claude/nifty-hypatia-wu31kw
claude/nifty-hypatia-wu31kw
10s
feat(scripts): extend §1.5 verb-canary coverage (Phase E) (#215) Zig FFI Tests #181: Commit cb021c4 pushed by hyperpolymath
27s main
main
27s
chore(deps): bump nixpkgs from 8c3cede to 8c91a71 (#213) Zig FFI Tests #180: Commit 4bf4641 pushed by hyperpolymath
8s main
main
8s
chore(deps): bump nixpkgs from 8c3cede to 8c91a71 Zig FFI Tests #179: Pull request #213 synchronize by hyperpolymath
15s dependabot/nix/nixpkgs-8c91a71
dependabot/nix/nixpkgs-8c91a71
15s
feat(scripts): extend §1.5 verb-canary coverage (Phase E) Zig FFI Tests #178: Pull request #215 synchronize by hyperpolymath
15s phase-e-smoke-verb-canary-expansion
phase-e-smoke-verb-canary-expansion
15s
ci: make path-filtered required gates always report (unblock stuck PR… Zig FFI Tests #177: Commit ece30ad pushed by hyperpolymath
9s main
main
9s
ci: make path-filtered required gates always report (unblock stuck PRs) Zig FFI Tests #176: Pull request #216 opened by hyperpolymath
12s claude/ci-required-check-skip-shim
claude/ci-required-check-skip-shim
12s
fix(feedback): work over the stateless invoker + build boj-invoke in … Zig FFI Tests #175: Commit 052b753 pushed by hyperpolymath
5m 16s main
main
5m 16s
fix(feedback): work over the stateless invoker + build boj-invoke in e2e Zig FFI Tests #174: Pull request #194 opened by hyperpolymath
47s claude/feedback-otron-fix
claude/feedback-otron-fix
47s
feat(feedback): implement feedback-o-tron invoke dispatch (FFI-backed… Zig FFI Tests #173: Commit 3f49db3 pushed by hyperpolymath
5m 27s main
main
5m 27s
feat(feedback): implement feedback-o-tron invoke dispatch (FFI-backed) Zig FFI Tests #172: Pull request #193 opened by hyperpolymath
49s claude/feedback-otron
claude/feedback-otron
49s
feat(catalog+fetcher): strict schema validation + bundle refresh + re… Zig FFI Tests #171: Commit 06834c4 pushed by hyperpolymath
6m 47s main
main
6m 47s
feat(catalog+fetcher): strict schema validation + bundle refresh + rename sync (closes #183) Zig FFI Tests #170: Pull request #184 synchronize by hyperpolymath
1m 59s feat/strict-cartridge-validation-183
feat/strict-cartridge-validation-183
1m 59s
feat(catalog+fetcher): strict schema validation + bundle refresh + rename sync (closes #183) Zig FFI Tests #169: Pull request #184 opened by hyperpolymath
4m 36s feat/strict-cartridge-validation-183
feat/strict-cartridge-validation-183
4m 36s
Claude/repo tidy rsr taxonomy Zig FFI Tests #168: Pull request #149 synchronize by hyperpolymath
45s claude/repo-tidy-rsr-taxonomy
claude/repo-tidy-rsr-taxonomy
45s
fix(aspect+e2e): make tests truthful + ums-mcp Mutex + install Elixir… Zig FFI Tests #167: Commit ad3224c pushed by hyperpolymath
5m 22s main
main
5m 22s