Skip to content

Actions: hyperpolymath/ephapax

Actions

.github/workflows/instant-sync.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
251 workflow runs
251 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
build(deps): bump openssl in the cargo group across 1 directory .github/workflows/instant-sync.yml #251: 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/instant-sync.yml #250: Commit 1792e4a pushed by hyperpolymath
Failure main
main
Failure
build(deps): bump rustls-webpki in the cargo group across 1 directory .github/workflows/instant-sync.yml #249: 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/instant-sync.yml #248: Commit dbf4bdd pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into docs/vision-relocation-2026-04-17 .github/workflows/instant-sync.yml #247: 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/instant-sync.yml #246: Commit ab199ab pushed by hyperpolymath
Failure main
main
Failure
feat(ephapax/coq): Option B — stuck-on-leak + region_shrink_preserves… .github/workflows/instant-sync.yml #245: 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/instant-sync.yml #244: Commit 15b3dbf pushed by hyperpolymath
-1s chore/state-dogfooding-proven-consumer
chore/state-dogfooding-proven-consumer
-1s
chore(main-history): linearize from 0f2b917 (squash-rebuild 2026-04-19) .github/workflows/instant-sync.yml #243: Commit 68cdb41 pushed by hyperpolymath
Failure main
main
Failure
chore(main-history): linearize from 0f2b917 (squash-rebuild 2026-04-19) .github/workflows/instant-sync.yml #242: Commit 37f8887 pushed by hyperpolymath
Failure main
main
Failure
chore(contractiles): add bust/ + relocate k9 to svc/ .github/workflows/instant-sync.yml #241: Commit ed51063 pushed by hyperpolymath
Failure main
main
Failure
Standardize workspace: Justfile migration and A2ML directive cleanup .github/workflows/instant-sync.yml #240: Commit c7aa57b pushed by hyperpolymath
Failure main
main
Failure
Docs/vision relocation 2026 04 17 (#27) .github/workflows/instant-sync.yml #239: Commit ef8ed9d pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into docs/vision-relocation-2026-04-17 .github/workflows/instant-sync.yml #238: Commit f37f86c pushed by hyperpolymath
Failure docs/vision-relocation-2026-04-17
docs/vision-relocation-2026-04-17
Failure
docs(governance): CRG v2.0 STRICT audit — C (declared) -> D (honest) .github/workflows/instant-sync.yml #237: Commit c84e364 pushed by hyperpolymath
Failure main
main
Failure
chore: estate-wide chore + stale-path sweep (2026-04-17) .github/workflows/instant-sync.yml #236: Commit c86aa0d pushed by hyperpolymath
Failure main
main
Failure
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback .github/workflows/instant-sync.yml #235: Commit 95dcd66 pushed by hyperpolymath
Failure main
main
Failure
docs: normalize vision SPDX to MPL-2.0 baseline .github/workflows/instant-sync.yml #234: Commit 5ece7ed pushed by hyperpolymath
Failure docs/vision-relocation-2026-04-17
docs/vision-relocation-2026-04-17
Failure
docs: add Ephapax design vision .github/workflows/instant-sync.yml #233: Commit bff6e87 pushed by hyperpolymath
Failure docs/vision-relocation-2026-04-17
docs/vision-relocation-2026-04-17
Failure
Merge remote-tracking branch 'origin/main' .github/workflows/instant-sync.yml #232: Commit f9742d9 pushed by hyperpolymath
Failure main
main
Failure
build(deps): bump rand from 0.9.2 to 0.9.4 in the cargo group across … .github/workflows/instant-sync.yml #231: Commit a041434 pushed by hyperpolymath
Failure main
main
Failure
build(deps): bump rand in the cargo group across 1 directory .github/workflows/instant-sync.yml #230: Commit a4502f1 pushed by dependabot Bot
Failure dependabot/cargo/cargo-2cb957d483
dependabot/cargo/cargo-2cb957d483
Failure
feat(formal): region proof tactics + CI workflow + 6a2 A2ML enrichment .github/workflows/instant-sync.yml #229: Commit c618e59 pushed by hyperpolymath
Failure main
main
Failure
docs(explainme): improve completeness per README-EXPLAINME-STANDARD .github/workflows/instant-sync.yml #228: Commit bd488ad pushed by hyperpolymath
Failure main
main
Failure
feat(formal): 63 Qed / 1 Admitted — close T_Region_Active extension .github/workflows/instant-sync.yml #227: Commit 206b098 pushed by hyperpolymath
Failure main
main
Failure