Skip to content

Actions: hyperpolymath/gitbot-fleet

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
This workflow was disabled manually.
509 workflow runs
509 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(batch_driver): add agda, idris2, acl2, vampire runners Instant Sync #84: Commit 8f3b783 pushed by hyperpolymath
6s main
main
6s
fix(batch_driver): M1+M2+M6 — bypass echidna, direct prover invocation Instant Sync #83: Commit d72883f pushed by hyperpolymath
8s main
main
8s
feat(echidnabot): add inline-claim mode (A5) Instant Sync #82: Commit 24a8105 pushed by hyperpolymath
8s main
main
8s
feat(echidnabot): add standalone batch_driver for proof_attempts boot… Instant Sync #81: Commit 55fa9ef pushed by hyperpolymath
8s main
main
8s
chore(shared-context): auto-update scan + learning traces Instant Sync #80: Commit c321188 pushed by hyperpolymath
1m 44s main
main
1m 44s
feat(crg): add crg-grade and crg-badge justfile recipes Instant Sync #79: Commit bcbf6f4 pushed by hyperpolymath
5h 38m 41s main
main
5h 38m 41s
feat(crg): add READINESS.md — core bots at Grade B, aesthetic bots at… Instant Sync #78: Commit 61ea193 pushed by hyperpolymath
5h 18m 5s main
main
5h 18m 5s
chore: update STATE.a2ml for session 9 test/bench additions (E2E suite) Instant Sync #77: Commit 9341459 pushed by hyperpolymath
5h 6m 13s main
main
5h 6m 13s
docs: update TEST-NEEDS.md with session 9 E2E additions Instant Sync #76: Commit 5c5c914 pushed by hyperpolymath
5h 1m 15s main
main
5h 1m 15s
chore: update eclexiaiser.toml with real function entries Instant Sync #75: Commit 214159a pushed by hyperpolymath
5h 4m 54s main
main
5h 4m 54s
test: add E2E tests and CI workflow for gitbot-fleet Instant Sync #74: Commit f1ab531 pushed by hyperpolymath
4h 58m 47s main
main
4h 58m 47s
chore: add eclexiaiser.toml manifests for container sub-services Instant Sync #73: Commit 701daf9 pushed by hyperpolymath
3h 57m 24s main
main
3h 57m 24s
feat: add fix-missing-groove and fix-stale-template-placeholders scri… Instant Sync #72: Commit c4e04cf pushed by hyperpolymath
26m 5s main
main
26m 5s
feat: add Elixir actuation scripts + sync learning outcomes and finis… Instant Sync #71: Commit 700d14c pushed by hyperpolymath
32m 21s main
main
32m 21s
docs: substantive CRG C annotation (EXPLAINME.adoc) Instant Sync #70: Commit bc0cd02 pushed by hyperpolymath
22m 40s main
main
22m 40s
test: CRG C blitz — add 50+ tests, fix path traversal, baseline bench… Instant Sync #69: Commit c40ecc9 pushed by hyperpolymath
7s main
main
7s
fix(deps): bump jsonwebtoken to 10, git2 to 0.20, gix to 0.81 for sec… Instant Sync #68: Commit d760f90 pushed by hyperpolymath
2m 3s main
main
2m 3s
fix(deps): update Cargo.lock to resolve security advisories Instant Sync #67: Commit 3eac77e pushed by hyperpolymath
6m 50s main
main
6m 50s
Add casket pages workflow Instant Sync #66: Commit 71a1ac3 pushed by hyperpolymath
26m 3s main
main
26m 3s
Remove template-only ABI files that falsely implied formal verification Instant Sync #65: Commit 73a1c25 pushed by hyperpolymath
14m 32s main
main
14m 32s
chore(deps): bump uuid from 1.22.0 to 1.23.0 in /robot-repo-automaton… Instant Sync #64: Commit ac52ca6 pushed by hyperpolymath
2m 6s main
main
2m 6s
chore(deps): bump toml in /robot-repo-automaton (#25) Instant Sync #63: Commit 97c69f8 pushed by hyperpolymath
2m 1s main
main
2m 1s
chore(deps): bump gix from 0.80.0 to 0.81.0 in /robot-repo-automaton … Instant Sync #62: Commit f1e807f pushed by hyperpolymath
29s main
main
29s
chore(deps): bump uuid from 1.22.0 to 1.23.0 in /bots/accessibilitybo… Instant Sync #61: Commit 40a6fbd pushed by hyperpolymath
24s main
main
24s
chore(deps): bump uuid from 1.22.0 to 1.23.0 in /bots/panicbot (#22) Instant Sync #60: Commit a3d219b pushed by hyperpolymath
27s main
main
27s
ProTip! You can narrow down the results and go further in time using created:<2026-03-29 or the other filters available.