Skip to content

Actions: hyperpolymath/gitbot-fleet

Actions

Scorecards supply-chain security

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
1,025 workflow runs
1,025 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): cvc5, vampire, dafny, why3 runners + smart idris2… Scorecards supply-chain security #200: Commit 5ceed6a pushed by hyperpolymath
38s main
main
38s
feat(batch_driver): add agda, idris2, acl2, vampire runners Scorecards supply-chain security #199: Commit 8f3b783 pushed by hyperpolymath
29s main
main
29s
fix(batch_driver): M1+M2+M6 — bypass echidna, direct prover invocation Scorecards supply-chain security #198: Commit d72883f pushed by hyperpolymath
30s main
main
30s
feat(echidnabot): add inline-claim mode (A5) Scorecards supply-chain security #197: Commit 24a8105 pushed by hyperpolymath
33s main
main
33s
feat(echidnabot): add standalone batch_driver for proof_attempts boot… Scorecards supply-chain security #196: Commit 55fa9ef pushed by hyperpolymath
37s main
main
37s
Scorecards supply-chain security Scorecards supply-chain security #195: Scheduled
37s main
main
37s
chore(shared-context): auto-update scan + learning traces Scorecards supply-chain security #194: Commit c321188 pushed by hyperpolymath
1m 47s main
main
1m 47s
feat(crg): add crg-grade and crg-badge justfile recipes Scorecards supply-chain security #193: Commit bcbf6f4 pushed by hyperpolymath
5h 39m 54s main
main
5h 39m 54s
feat(crg): add READINESS.md — core bots at Grade B, aesthetic bots at… Scorecards supply-chain security #192: Commit 61ea193 pushed by hyperpolymath
5h 22m 25s main
main
5h 22m 25s
chore: update STATE.a2ml for session 9 test/bench additions (E2E suite) Scorecards supply-chain security #191: Commit 9341459 pushed by hyperpolymath
5h 6m 34s main
main
5h 6m 34s
docs: update TEST-NEEDS.md with session 9 E2E additions Scorecards supply-chain security #190: Commit 5c5c914 pushed by hyperpolymath
4h 59m 56s main
main
4h 59m 56s
chore: update eclexiaiser.toml with real function entries Scorecards supply-chain security #189: Commit 214159a pushed by hyperpolymath
5h 2m 46s main
main
5h 2m 46s
test: add E2E tests and CI workflow for gitbot-fleet Scorecards supply-chain security #188: Commit f1ab531 pushed by hyperpolymath
5h 2m 50s main
main
5h 2m 50s
chore: add eclexiaiser.toml manifests for container sub-services Scorecards supply-chain security #187: Commit 701daf9 pushed by hyperpolymath
3h 55m 57s main
main
3h 55m 57s
feat: add fix-missing-groove and fix-stale-template-placeholders scri… Scorecards supply-chain security #186: Commit c4e04cf pushed by hyperpolymath
28m 42s main
main
28m 42s
feat: add Elixir actuation scripts + sync learning outcomes and finis… Scorecards supply-chain security #185: Commit 700d14c pushed by hyperpolymath
33m 15s main
main
33m 15s
docs: substantive CRG C annotation (EXPLAINME.adoc) Scorecards supply-chain security #184: Commit bc0cd02 pushed by hyperpolymath
24m 57s main
main
24m 57s
Scorecards supply-chain security Scorecards supply-chain security #183: Scheduled
35s main
main
35s
test: CRG C blitz — add 50+ tests, fix path traversal, baseline bench… Scorecards supply-chain security #182: Commit c40ecc9 pushed by hyperpolymath
31s main
main
31s
fix(deps): bump jsonwebtoken to 10, git2 to 0.20, gix to 0.81 for sec… Scorecards supply-chain security #181: Commit d760f90 pushed by hyperpolymath
1m 51s main
main
1m 51s
fix(deps): update Cargo.lock to resolve security advisories Scorecards supply-chain security #180: Commit 3eac77e pushed by hyperpolymath
5m 18s main
main
5m 18s
Scorecards supply-chain security Scorecards supply-chain security #179: Scheduled
31s main
main
31s
Scorecards supply-chain security Scorecards supply-chain security #178: Scheduled
38s main
main
38s
Add casket pages workflow Scorecards supply-chain security #177: Commit 71a1ac3 pushed by hyperpolymath
32m 53s main
main
32m 53s
Scorecards supply-chain security Scorecards supply-chain security #176: Scheduled
28s main
main
28s
ProTip! You can narrow down the results and go further in time using created:<2026-04-01 or the other filters available.