Skip to content

Actions: CQCL/brat

Actions

Brat CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.yaml
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 #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 #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 #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 #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: 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 #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 #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 #105: Pull request #70 synchronize by conormcb
April 3, 2025 11:01 23s just-nat-solving
just-nat-solving
April 3, 2025 11:01 23s
feat(ci): only run on **.hs Brat CI #104: Pull request #83 opened by SauravMaheshkar
April 2, 2025 15:39 18s SauravMaheshkar:patch-1
SauravMaheshkar:patch-1
April 2, 2025 15:39 18s
feat: Add nat hope solving Brat CI #103: Pull request #70 synchronize by conormcb
April 2, 2025 15:30 15s just-nat-solving
just-nat-solving
April 2, 2025 15:30 15s
feat: Add nat hope solving Brat CI #102: Pull request #70 synchronize by conormcb
April 2, 2025 14:43 16s just-nat-solving
just-nat-solving
April 2, 2025 14:43 16s
feat: Add nat hope solving Brat CI #101: Pull request #70 synchronize by conormcb
April 2, 2025 14:29 23s just-nat-solving
just-nat-solving
April 2, 2025 14:29 23s
chore: Test hugr extension in CI Brat CI #100: Pull request #80 synchronize by croyzor
April 1, 2025 15:40 20s ci/test_hugr_extension
ci/test_hugr_extension
April 1, 2025 15:40 20s
chore: Test hugr extension in CI Brat CI #99: Pull request #80 opened by croyzor
April 1, 2025 15:22 20s ci/test_hugr_extension
ci/test_hugr_extension
April 1, 2025 15:22 20s
feat: Add nat hope solving Brat CI #98: Pull request #70 synchronize by croyzor
April 1, 2025 14:33 17s just-nat-solving
just-nat-solving
April 1, 2025 14:33 17s
feat: Add nat hope solving Brat CI #97: Pull request #70 synchronize by conormcb
April 1, 2025 14:13 18s just-nat-solving
just-nat-solving
April 1, 2025 14:13 18s
feat: Add nat hope solving Brat CI #96: Pull request #70 synchronize by croyzor
April 1, 2025 14:09 18s just-nat-solving
just-nat-solving
April 1, 2025 14:09 18s
feat: Add nat hope solving Brat CI #95: Pull request #70 synchronize by croyzor
April 1, 2025 14:07 16s just-nat-solving
just-nat-solving
April 1, 2025 14:07 16s
feat: Add nat hope solving Brat CI #94: Pull request #70 synchronize by conormcb
April 1, 2025 14:06 16s just-nat-solving
just-nat-solving
April 1, 2025 14:06 16s