Skip to content

Actions: hyperpolymath/ephapax

Actions

.github/workflows/secret-scanner.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
secret-scanner.yml
288 workflow runs
288 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(formal): close preservation theorem — zero Admitted (#35) .github/workflows/secret-scanner.yml #288: Commit ef9c91f pushed by hyperpolymath
Failure main
main
Failure
chore(formal): gitignore coq_makefile build artifacts; refine preserv… .github/workflows/secret-scanner.yml #287: Commit 20cf3f5 pushed by hyperpolymath
Failure proof/close-preservation-admits
proof/close-preservation-admits
Failure
docs(formal): correct proof-status comment — preservation is Qed not … .github/workflows/secret-scanner.yml #286: Commit 68b4610 pushed by hyperpolymath
Failure proof/close-preservation-admits
proof/close-preservation-admits
Failure
chore(meta): add 6a2 + contractile infrastructure .github/workflows/secret-scanner.yml #285: Commit d9c84c9 pushed by hyperpolymath
Failure proof/close-preservation-admits
proof/close-preservation-admits
Failure
proof(formal): close preservation theorem — zero Admitted .github/workflows/secret-scanner.yml #284: Commit 3ff0152 pushed by hyperpolymath
Failure proof/close-preservation-admits
proof/close-preservation-admits
Failure
proof(formal): close L3009 admit + 2 reusable region lemmas + chore (… .github/workflows/secret-scanner.yml #283: Commit 9a4bfdc pushed by hyperpolymath
Failure main
main
Failure
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) .github/workflows/secret-scanner.yml #282: Commit 6244b02 pushed by hyperpolymath
Failure docs/vision-relocation-2026-04-17
docs/vision-relocation-2026-04-17
Failure
fix(deps): bump openssl 0.10.76 -> 0.10.78 (5 dependabot alerts) (#33) .github/workflows/secret-scanner.yml #281: Commit d62b827 pushed by hyperpolymath
Failure main
main
Failure
fix(deps): bump openssl 0.10.76 -> 0.10.78 .github/workflows/secret-scanner.yml #280: Commit 6b1b4b8 pushed by hyperpolymath
Failure fix/openssl-deps
fix/openssl-deps
Failure
fix(deps): bump openssl 0.10.76 -> 0.10.78 .github/workflows/secret-scanner.yml #279: Commit 630e647 pushed by hyperpolymath
Failure fix/expect-todo-sweep
fix/expect-todo-sweep
Failure
proof(formal): close 1 of 2 preservation admits + 2 reusable region l… .github/workflows/secret-scanner.yml #278: Commit 0716aec pushed by hyperpolymath
Failure fix/expect-todo-sweep
fix/expect-todo-sweep
Failure
fix(ephapax): sweep .expect("TODO: handle error") — 116 sites (#32) .github/workflows/secret-scanner.yml #277: Commit a1fd5bb pushed by hyperpolymath
Failure main
main
Failure
fix(ephapax): sweep .expect("TODO: handle error") — 116 sites cleared .github/workflows/secret-scanner.yml #276: Commit d6a2cb1 pushed by hyperpolymath
Failure fix/expect-todo-sweep
fix/expect-todo-sweep
Failure
build(deps): bump openssl in the cargo group across 1 directory .github/workflows/secret-scanner.yml #275: Commit 921af05 pushed by dependabot Bot
Failure dependabot/cargo/cargo-1a59d422c9
dependabot/cargo/cargo-1a59d422c9
Failure
build(deps): bump rustls-webpki from 0.103.10 to 0.103.13 in the carg… .github/workflows/secret-scanner.yml #274: Commit 1792e4a pushed by hyperpolymath
Failure main
main
Failure
build(deps): bump rustls-webpki in the cargo group across 1 directory .github/workflows/secret-scanner.yml #273: Commit 46a24b1 pushed by dependabot Bot
Failure dependabot/cargo/cargo-8056535635
dependabot/cargo/cargo-8056535635
Failure
Docs/vision relocation 2026 04 17 (#29) .github/workflows/secret-scanner.yml #272: Commit dbf4bdd pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into docs/vision-relocation-2026-04-17 .github/workflows/secret-scanner.yml #271: Commit 612b85b pushed by hyperpolymath
Failure docs/vision-relocation-2026-04-17
docs/vision-relocation-2026-04-17
Failure
chore(state): populate [dogfooding-status] — proven/bindings/ephapax … .github/workflows/secret-scanner.yml #270: Commit ab199ab pushed by hyperpolymath
Failure main
main
Failure
feat(ephapax/coq): Option B — stuck-on-leak + region_shrink_preserves… .github/workflows/secret-scanner.yml #269: Commit 2cd1e82 pushed by hyperpolymath
Failure docs/vision-relocation-2026-04-17
docs/vision-relocation-2026-04-17
Failure
chore(state): populate [dogfooding-status] with proven/bindings/ephap… .github/workflows/secret-scanner.yml #268: Commit 15b3dbf pushed by hyperpolymath
Failure chore/state-dogfooding-proven-consumer
chore/state-dogfooding-proven-consumer
Failure
chore(main-history): linearize from 0f2b917 (squash-rebuild 2026-04-19) .github/workflows/secret-scanner.yml #267: Commit 68cdb41 pushed by hyperpolymath
Failure main
main
Failure
chore(main-history): linearize from 0f2b917 (squash-rebuild 2026-04-19) .github/workflows/secret-scanner.yml #266: Commit 37f8887 pushed by hyperpolymath
Failure main
main
Failure
chore(contractiles): add bust/ + relocate k9 to svc/ .github/workflows/secret-scanner.yml #265: Commit ed51063 pushed by hyperpolymath
Failure main
main
Failure
Standardize workspace: Justfile migration and A2ML directive cleanup .github/workflows/secret-scanner.yml #264: Commit c7aa57b pushed by hyperpolymath
Failure main
main
Failure