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
feat(ci): attest build provenance (#255) Zig FFI Tests #266: Commit 426a435 pushed by hyperpolymath
9h 26m 40s main
main
9h 26m 40s
feat(ci): attest build provenance Zig FFI Tests #265: Pull request #255 opened by hyperpolymath
9h 30m 55s feat/attest-build-provenance
feat/attest-build-provenance
9h 30m 55s
Delete Mustfile Zig FFI Tests #264: Commit 75b1b9f pushed by hyperpolymath
11h 52m 43s main
main
11h 52m 43s
Delete Intentfile Zig FFI Tests #263: Commit 30f1623 pushed by hyperpolymath
11h 54m 43s main
main
11h 54m 43s
Delete eclexiaiser.toml Zig FFI Tests #262: Commit 8bf3d49 pushed by hyperpolymath
11h 55m 40s main
main
11h 55m 40s
Delete alloyiser.toml Zig FFI Tests #261: Commit 818b5d5 pushed by hyperpolymath
11h 56m 17s main
main
11h 56m 17s
Delete k9iser.toml Zig FFI Tests #260: Commit 57d6bd4 pushed by hyperpolymath
11h 56m 39s main
main
11h 56m 39s
docs: record TLA+ Elixir harness coverage in STATE and Developer-Guid… Zig FFI Tests #259: Commit 11a1c54 pushed by hyperpolymath
19h 25m 52s main
main
19h 25m 52s
docs: record TLA+ Elixir harness coverage in STATE and Developer-Guide Zig FFI Tests #258: Pull request #254 opened by hyperpolymath
19h 38m 46s claude/vigilant-carson-ufu47c
claude/vigilant-carson-ufu47c
19h 38m 46s
feat(formal/tla): TLA+ model of Invoker — isolation + classification … Zig FFI Tests #257: Commit da8db01 pushed by hyperpolymath
21h 11m 10s main
main
21h 11m 10s
feat(formal/tla): TLA+ model of Invoker — isolation + classification coverage Zig FFI Tests #256: Pull request #253 opened by hyperpolymath
21h 14m 41s feat/invoker-tla
feat/invoker-tla
21h 14m 41s
feat(formal/tla): TLA+ pool model — JsWorkerPool crash-isolation + ro… Zig FFI Tests #255: Commit 9fb8223 pushed by hyperpolymath
21h 18m 22s main
main
21h 18m 22s
feat(formal/tla): TLA+ pool model — JsWorkerPool crash-isolation + route-consistency Zig FFI Tests #254: Pull request #252 opened by hyperpolymath
20h 43m 1s claude/vigilant-carson-ufu47c
claude/vigilant-carson-ufu47c
20h 43m 1s
proof: discharge charEqSym axiom (5→4) + TLA+ model of the Elixir JsW… Zig FFI Tests #253: Commit a677019 pushed by hyperpolymath
19h 5m 50s main
main
19h 5m 50s
proof: discharge charEqSym axiom (5→4) + TLA+ model of the Elixir JsWorker Zig FFI Tests #252: Pull request #251 synchronize by hyperpolymath
19h 3m 19s claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
19h 3m 19s
proof: discharge charEqSym axiom (5→4) + TLA+ model of the Elixir JsWorker Zig FFI Tests #251: Pull request #251 opened by hyperpolymath
19h 12m 2s claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
19h 12m 2s
chore(clade): backfill [status] lifecycle block (#249) Zig FFI Tests #250: Commit 45c70df pushed by hyperpolymath
12h 21m 28s main
main
12h 21m 28s
chore(ci): add dormant push-email notification workflow (#250) Zig FFI Tests #249: Commit ad5803f pushed by hyperpolymath
12h 15m 9s main
main
12h 15m 9s
chore(ci): add dormant push-email notification workflow Zig FFI Tests #248: Pull request #250 opened by hyperpolymath
12h 1m 17s chore/push-email-notify
chore/push-email-notify
12h 1m 17s
chore(clade): backfill [status] lifecycle block Zig FFI Tests #247: Pull request #249 opened by hyperpolymath
11h 55m 9s chore/clade-status-backfill
chore/clade-status-backfill
11h 55m 9s
fix(cloudflare): migrate wrangler.toml to Workers + Assets format (#248) Zig FFI Tests #246: Commit afc094f pushed by hyperpolymath
11h 46m 41s main
main
11h 46m 41s
fix(cloudflare): migrate wrangler.toml to Workers + Assets format Zig FFI Tests #245: Pull request #248 opened by hyperpolymath
11h 22m 28s fix/cloudflare-workers-build
fix/cloudflare-workers-build
11h 22m 28s
feat(ffi/zig): formal ABI verification — comptime proofs + boundary t… Zig FFI Tests #244: Commit 3077b4f pushed by hyperpolymath
1d 1h 1m 21s main
main
1d 1h 1m 21s
feat(ffi/zig): formal ABI verification — comptime proofs + boundary tests Zig FFI Tests #243: Pull request #247 opened by hyperpolymath
1d 1h 0m 7s claude/vigilant-carson-ufu47c
claude/vigilant-carson-ufu47c
1d 1h 0m 7s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Zig FFI Tests #242: Commit 40f145a pushed by hyperpolymath
1d 1h 34m 26s main
main
1d 1h 34m 26s