Skip to content

Actions: iQua/days

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
229 workflow runs
229 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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(leanguard): mechanize replay lemmas (#97) LeanGuard Protocol Checks #6: Commit c182184 pushed by baochunli
1m 54s main
main
1m 54s
feat(leanguard): mechanize replay lemmas (#97) Run Examples and Test Cases #348: Commit c182184 pushed by baochunli
7m 31s main
main
7m 31s
Mechanized LeanGuard replay lemmas. Run Examples and Test Cases #347: Pull request #97 opened by baochunli
6m 14s leanguard-tracespec-replay
leanguard-tracespec-replay
6m 14s
Mechanized LeanGuard replay lemmas. LeanGuard Protocol Checks #5: Pull request #97 opened by baochunli
2m 0s leanguard-tracespec-replay
leanguard-tracespec-replay
2m 0s
Added AGPLv3 license. LeanGuard Protocol Checks #4: Commit 1712d7d pushed by baochunli
1m 47s main
main
1m 47s
Added AGPLv3 license. Run Examples and Test Cases #346: Commit 1712d7d pushed by baochunli
5m 3s main
main
5m 3s
Added LeanGuard CI checks for supported protocols. (#96) LeanGuard Protocol Checks #3: Commit e003249 pushed by baochunli
1m 54s main
main
1m 54s
Added LeanGuard CI checks for supported protocols. (#96) Run Examples and Test Cases #345: Commit e003249 pushed by baochunli
7m 35s main
main
7m 35s
Added LeanGuard CI checks for supported protocols. LeanGuard Protocol Checks #2: Pull request #96 synchronize by baochunli
1m 49s leanguard-ci-protocol-checks
leanguard-ci-protocol-checks
1m 49s
Added LeanGuard CI checks for supported protocols. Run Examples and Test Cases #344: Pull request #96 synchronize by baochunli
6m 20s leanguard-ci-protocol-checks
leanguard-ci-protocol-checks
6m 20s
Added LeanGuard CI checks for supported protocols. LeanGuard Protocol Checks #1: Pull request #96 opened by baochunli
2m 41s leanguard-ci-protocol-checks
leanguard-ci-protocol-checks
2m 41s
Added LeanGuard CI checks for supported protocols. Run Examples and Test Cases #343: Pull request #96 opened by baochunli
11m 26s leanguard-ci-protocol-checks
leanguard-ci-protocol-checks
11m 26s
perf: skip SeqFuture bundling for 0-1 futures per step to avoid per-s… Run Examples and Test Cases #342: Commit abbc558 pushed by baochunli
8m 18s main
main
8m 18s
Corrected RED semantics and fixed Days CUBIC trace conformance. (#95) Run Examples and Test Cases #341: Commit a998820 pushed by baochunli
10m 10s main
main
10m 10s
Corrected RED semantics and fixed Days CUBIC trace conformance. Run Examples and Test Cases #340: Pull request #95 synchronize by baochunli
8m 14s codex/red-checker-spec
codex/red-checker-spec
8m 14s
Corrected RED semantics and fixed Days CUBIC trace conformance. Run Examples and Test Cases #339: Pull request #95 synchronize by baochunli
6m 18s codex/red-checker-spec
codex/red-checker-spec
6m 18s
Corrected RED semantics and fixed Days CUBIC trace conformance. Run Examples and Test Cases #338: Pull request #95 opened by baochunli
10m 7s codex/red-checker-spec
codex/red-checker-spec
10m 7s
perf: speed up fat-tree routing and executor handoff (#94) Run Examples and Test Cases #337: Commit ebab0a1 pushed by baochunli
9m 38s main
main
9m 38s
perf: speed up fat-tree routing and executor handoff Run Examples and Test Cases #336: Pull request #94 synchronize by baochunli
9m 45s autoresearch/tcp-fattree-runtime-2026-03-15
autoresearch/tcp-fattree-runtime-2026-03-15
9m 45s
perf: speed up fat-tree routing and executor handoff Run Examples and Test Cases #335: Pull request #94 synchronize by baochunli
4m 22s autoresearch/tcp-fattree-runtime-2026-03-15
autoresearch/tcp-fattree-runtime-2026-03-15
4m 22s
perf: speed up fat-tree routing and executor handoff Run Examples and Test Cases #334: Pull request #94 opened by baochunli
4m 36s autoresearch/tcp-fattree-runtime-2026-03-15
autoresearch/tcp-fattree-runtime-2026-03-15
4m 36s
Add mixed TCP collective regression test Run Examples and Test Cases #333: Commit 9802a1d pushed by baochunli
9m 16s main
main
9m 16s
Complete ring all-reduce correctness pass Run Examples and Test Cases #332: Commit 02a728e pushed by baochunli
6m 44s main
main
6m 44s
Expand ring all-reduce coverage Run Examples and Test Cases #331: Commit 4246323 pushed by baochunli
4m 24s main
main
4m 24s
Fix mixed TCP collective app-source ownership Run Examples and Test Cases #330: Commit 07dfa82 pushed by baochunli
6m 29s main
main
6m 29s