Skip to content

Actions: CQCL/brat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
442 workflow runs
442 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip: multithreading & ownership Brat CI #119: Pull request #84 opened by croyzor
April 16, 2025 13:26 16s inference-wip/ownership
inference-wip/ownership
April 16, 2025 13:26 16s
wip: multithreading & ownership Brat CI #244: Pull request #84 opened by croyzor
April 16, 2025 13:26 15m 15s inference-wip/ownership
inference-wip/ownership
April 16, 2025 13:26 15m 15s
Multi-threaded type inference Brat CI #118: Pull request #41 synchronize by croyzor
April 8, 2025 11:03 32s inference-wip/fork
inference-wip/fork
April 8, 2025 11:03 32s
Multi-threaded type inference Brat CI #117: Pull request #41 synchronize by croyzor
April 8, 2025 11:01 1m 4s inference-wip/fork
inference-wip/fork
April 8, 2025 11:01 1m 4s
Multi-threaded type inference Brat CI #116: Pull request #41 synchronize by conormcb
April 8, 2025 09:42 16s inference-wip/fork
inference-wip/fork
April 8, 2025 09:42 16s
Multi-threaded type inference Brat CI #115: Pull request #41 synchronize by croyzor
April 8, 2025 09:06 17s inference-wip/fork
inference-wip/fork
April 8, 2025 09:06 17s
feat: Add nat hope solving Brat CI #114: Pull request #70 synchronize by croyzor
April 7, 2025 14:23 20s just-nat-solving
just-nat-solving
April 7, 2025 14:23 20s
feat: Add nat hope solving Brat CI #243: Pull request #70 synchronize by croyzor
April 7, 2025 14:23 1m 48s just-nat-solving
just-nat-solving
April 7, 2025 14:23 1m 48s
feat: Add nat hope solving Brat CI #113: Pull request #70 synchronize by croyzor
April 7, 2025 13:19 17s just-nat-solving
just-nat-solving
April 7, 2025 13:19 17s
feat: Add nat hope solving Brat CI #242: Pull request #70 synchronize by croyzor
April 7, 2025 13:19 1m 31s just-nat-solving
just-nat-solving
April 7, 2025 13:19 1m 31s
feat: Add nat hope solving Brat CI #112: Pull request #70 synchronize by croyzor
April 7, 2025 11:03 19s just-nat-solving
just-nat-solving
April 7, 2025 11:03 19s
feat: Add nat hope solving Brat CI #241: Pull request #70 synchronize by croyzor
April 7, 2025 11:03 1m 22s just-nat-solving
just-nat-solving
April 7, 2025 11:03 1m 22s
feat: Add nat hope solving Brat CI #240: Pull request #70 synchronize by conormcb
April 7, 2025 10:57 1m 19s just-nat-solving
just-nat-solving
April 7, 2025 10:57 1m 19s
feat: Add nat hope solving Brat CI #111: Pull request #70 synchronize by conormcb
April 7, 2025 10:57 16s just-nat-solving
just-nat-solving
April 7, 2025 10:57 16s
feat: Add nat hope solving Brat CI #239: Pull request #70 synchronize by conormcb
April 7, 2025 10:04 1m 25s just-nat-solving
just-nat-solving
April 7, 2025 10:04 1m 25s
feat: Add nat hope solving Brat CI #110: Pull request #70 synchronize by conormcb
April 7, 2025 10:04 16s just-nat-solving
just-nat-solving
April 7, 2025 10:04 16s
feat(ci): only run on **.hs (#83) Brat Test Coverage #47: Commit d502ca5 pushed by croyzor
April 7, 2025 08:41 3m 18s main
main
April 7, 2025 08:41 3m 18s
feat: Add nat hope solving Brat CI #109: Pull request #70 synchronize by conormcb
April 4, 2025 16:27 16s just-nat-solving
just-nat-solving
April 4, 2025 16:27 16s
feat: Add nat hope solving Brat CI #238: Pull request #70 synchronize by conormcb
April 4, 2025 16:27 1m 21s just-nat-solving
just-nat-solving
April 4, 2025 16:27 1m 21s
feat: Add nat hope solving Brat CI #237: Pull request #70 synchronize by croyzor
April 4, 2025 14:55 1m 34s just-nat-solving
just-nat-solving
April 4, 2025 14:55 1m 34s
feat: Add nat hope solving Brat CI #108: Pull request #70 synchronize by croyzor
April 4, 2025 14:55 16s just-nat-solving
just-nat-solving
April 4, 2025 14:55 16s
feat: Add nat hope solving Brat CI #236: Pull request #70 synchronize by croyzor
April 3, 2025 15:13 43s just-nat-solving
just-nat-solving
April 3, 2025 15:13 43s
feat: Add nat hope solving Brat CI #107: Pull request #70 synchronize by croyzor
April 3, 2025 15:13 15s just-nat-solving
just-nat-solving
April 3, 2025 15:13 15s
feat: Add nat hope solving Brat CI #106: Pull request #70 synchronize by croyzor
April 3, 2025 14:58 22s just-nat-solving
just-nat-solving
April 3, 2025 14:58 22s
feat: Add nat hope solving Brat CI #235: Pull request #70 synchronize by croyzor
April 3, 2025 14:58 54s just-nat-solving
just-nat-solving
April 3, 2025 14:58 54s