Skip to content

Actions: hyperpolymath/gitbot-fleet

Actions

TypeScript/JavaScript Blocker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
601 workflow runs
601 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
chore(deps): bump toml from 0.8.23 to 1.1.2+spec-1.1.0 in /bots/seambot TypeScript/JavaScript Blocker #201: Pull request #33 synchronize by dependabot Bot
1m 8s dependabot/cargo/bots/seambot/toml-1.1.2spec-1.1.0
dependabot/cargo/bots/seambot/toml-1.1.2spec-1.1.0
1m 8s
chore(deps): bump toml in /bots/finishingbot (#31) TypeScript/JavaScript Blocker #200: Commit cc2ab2f pushed by hyperpolymath
14s main
main
14s
chore(deps): bump toml from 0.8.23 to 1.1.2+spec-1.1.0 in /bots/seambot TypeScript/JavaScript Blocker #199: Commit b20b085 pushed by dependabot Bot
28s dependabot/cargo/bots/seambot/toml-1.1.2spec-1.1.0
dependabot/cargo/bots/seambot/toml-1.1.2spec-1.1.0
28s
chore(deps): bump toml from 0.8.23 to 1.1.2+spec-1.1.0 in /bots/rhodibot TypeScript/JavaScript Blocker #198: Commit ec06bbe pushed by dependabot Bot
16s dependabot/cargo/bots/rhodibot/toml-1.1.2spec-1.1.0
dependabot/cargo/bots/rhodibot/toml-1.1.2spec-1.1.0
16s
chore(deps): bump hmac from 0.12.1 to 0.13.0 in /bots/rhodibot (#29) TypeScript/JavaScript Blocker #197: Commit bb6ea15 pushed by hyperpolymath
13s main
main
13s
chore(deps): bump hmac from 0.12.1 to 0.13.0 in /bots/rhodibot TypeScript/JavaScript Blocker #196: Pull request #29 synchronize by hyperpolymath
13s dependabot/cargo/bots/rhodibot/hmac-0.13.0
dependabot/cargo/bots/rhodibot/hmac-0.13.0
13s
Merge branch 'main' into dependabot/cargo/bots/rhodibot/hmac-0.13.0 TypeScript/JavaScript Blocker #195: Commit bd4c0a6 pushed by hyperpolymath
42s dependabot/cargo/bots/rhodibot/hmac-0.13.0
dependabot/cargo/bots/rhodibot/hmac-0.13.0
42s
chore(deps): bump sha2 from 0.10.9 to 0.11.0 in /bots/seambot (#28) TypeScript/JavaScript Blocker #194: Commit c8fa2bd pushed by hyperpolymath
7s main
main
7s
chore(deps): bump sha2 from 0.10.9 to 0.11.0 in /bots/rhodibot (#27) TypeScript/JavaScript Blocker #193: Commit ec1811e pushed by hyperpolymath
11s main
main
11s
docs(state): update session history for 2026-04-05 TypeScript/JavaScript Blocker #192: Commit 80fb3ec pushed by hyperpolymath
3m 17s main
main
3m 17s
docs: update CHANGELOG + STATE.a2ml for 2026-04-05 session TypeScript/JavaScript Blocker #191: Commit 151f6c0 pushed by hyperpolymath
1m 8s main
main
1m 8s
feat(batch_driver): add F* runner — 16 active provers TypeScript/JavaScript Blocker #190: Commit b5562ba pushed by hyperpolymath
29s main
main
29s
refactor(rename): VQL → VCL + verisimdb → verisim across gitbot-fleet TypeScript/JavaScript Blocker #189: Commit 3d5fe06 pushed by hyperpolymath
19s main
main
19s
feat(echidnabot): wire batch_driver to deployed nesy-solver-api /ingest TypeScript/JavaScript Blocker #188: Commit 1a6c124 pushed by hyperpolymath
7s main
main
7s
feat(batch_driver): wire alt-ergo, metamath, cadical — 13 active provers TypeScript/JavaScript Blocker #187: Commit 82fead8 pushed by hyperpolymath
1m 15s main
main
1m 15s
feat(batch_driver): cvc5, vampire, dafny, why3 runners + smart idris2… TypeScript/JavaScript Blocker #186: Commit 5ceed6a pushed by hyperpolymath
7s main
main
7s
feat(batch_driver): add agda, idris2, acl2, vampire runners TypeScript/JavaScript Blocker #185: Commit 8f3b783 pushed by hyperpolymath
10s main
main
10s
fix(batch_driver): M1+M2+M6 — bypass echidna, direct prover invocation TypeScript/JavaScript Blocker #184: Commit d72883f pushed by hyperpolymath
7s main
main
7s
feat(echidnabot): add inline-claim mode (A5) TypeScript/JavaScript Blocker #183: Commit 24a8105 pushed by hyperpolymath
10s main
main
10s
feat(echidnabot): add standalone batch_driver for proof_attempts boot… TypeScript/JavaScript Blocker #182: Commit 55fa9ef pushed by hyperpolymath
8s main
main
8s
chore(deps): bump toml from 0.8.23 to 1.1.2+spec-1.1.0 in /bots/glambot TypeScript/JavaScript Blocker #181: Pull request #45 opened by dependabot Bot
2m 29s dependabot/cargo/bots/glambot/toml-1.1.2spec-1.1.0
dependabot/cargo/bots/glambot/toml-1.1.2spec-1.1.0
2m 29s
chore(deps): bump sha2 from 0.10.9 to 0.11.0 in /bots/echidnabot TypeScript/JavaScript Blocker #180: Pull request #44 opened by dependabot Bot
2m 57s dependabot/cargo/bots/echidnabot/sha2-0.11.0
dependabot/cargo/bots/echidnabot/sha2-0.11.0
2m 57s
chore(deps): bump sha2 from 0.10.9 to 0.11.0 in /bots/echidnabot TypeScript/JavaScript Blocker #179: Commit 1d516f8 pushed by dependabot Bot
3m 10s dependabot/cargo/bots/echidnabot/sha2-0.11.0
dependabot/cargo/bots/echidnabot/sha2-0.11.0
3m 10s
chore(deps): bump toml from 0.8.23 to 1.1.2+spec-1.1.0 in /bots/glambot TypeScript/JavaScript Blocker #178: Commit 3a21093 pushed by dependabot Bot
2m 15s dependabot/cargo/bots/glambot/toml-1.1.2spec-1.1.0
dependabot/cargo/bots/glambot/toml-1.1.2spec-1.1.0
2m 15s
chore(deps): bump scraper from 0.21.0 to 0.26.0 in /bots/glambot TypeScript/JavaScript Blocker #177: Pull request #41 opened by dependabot Bot
2m 56s dependabot/cargo/bots/glambot/scraper-0.26.0
dependabot/cargo/bots/glambot/scraper-0.26.0
2m 56s
ProTip! You can narrow down the results and go further in time using created:<2026-04-05 or the other filters available.