Skip to content

Actions: CQCL/brat

Actions

Brat CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
218 workflow runs
218 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Update to hugr v0.9.0 Brat CI #193: Pull request #67 synchronize by croyzor
December 23, 2024 09:59 17m 20s chore/hugr-v0.9.0
chore/hugr-v0.9.0
December 23, 2024 09:59 17m 20s
feat: Add bracketing to lexer Brat CI #192: Pull request #68 synchronize by croyzor
December 23, 2024 09:21 1m 15s refactor/parser-wc
refactor/parser-wc
December 23, 2024 09:21 1m 15s
feat: Add bracketing to lexer Brat CI #191: Pull request #68 synchronize by croyzor
December 23, 2024 09:20 1m 18s refactor/parser-wc
refactor/parser-wc
December 23, 2024 09:20 1m 18s
tests: fix parsing of karlheinz.brat; extend let.brat (#71) Brat CI #190: Commit bb0f617 pushed by croyzor
December 23, 2024 09:18 51s main
main
December 23, 2024 09:18 51s
tests: fix parsing of karlheinz.brat; extend let.brat Brat CI #189: Pull request #71 opened by acl-cqc
December 20, 2024 08:33 1m 0s acl/tests_karlheinz_brackets
acl/tests_karlheinz_brackets
December 20, 2024 08:33 1m 0s
feat: Add bracketing to lexer Brat CI #188: Pull request #68 synchronize by croyzor
December 19, 2024 12:26 1m 30s refactor/parser-wc
refactor/parser-wc
December 19, 2024 12:26 1m 30s
feat: Add bracketing to lexer Brat CI #187: Pull request #68 synchronize by croyzor
December 19, 2024 12:25 1m 20s refactor/parser-wc
refactor/parser-wc
December 19, 2024 12:25 1m 20s
feat: *-kinded holes which are solved by BRAT Brat CI #186: Pull request #69 opened by croyzor
December 18, 2024 14:28 1m 24s just-holes
just-holes
December 18, 2024 14:28 1m 24s
chore: Upgrade to hugr 0.8.0 (#66) Brat CI #185: Commit f0c22a4 pushed by croyzor
December 17, 2024 17:12 16m 23s main
main
December 17, 2024 17:12 16m 23s
chore: Upgrade to hugr 0.8.0 Brat CI #184: Pull request #66 synchronize by croyzor
December 17, 2024 16:01 2m 3s chore/hugr-v0.8.0
chore/hugr-v0.8.0
December 17, 2024 16:01 2m 3s
feat: Add bracketing to lexer Brat CI #183: Pull request #68 synchronize by croyzor
December 17, 2024 15:46 16m 20s refactor/parser-wc
refactor/parser-wc
December 17, 2024 15:46 16m 20s
feat: Add bracketing to lexer Brat CI #182: Pull request #68 opened by croyzor
December 17, 2024 15:32 16m 29s refactor/parser-wc
refactor/parser-wc
December 17, 2024 15:32 16m 29s
chore: Upgrade to hugr 0.8.0 Brat CI #181: Pull request #66 opened by croyzor
December 12, 2024 15:49 17m 20s chore/hugr-v0.8.0
chore/hugr-v0.8.0
December 12, 2024 15:49 17m 20s
Multi-threaded type inference Brat CI #180: Pull request #41 synchronize by acl-cqc
December 9, 2024 14:20 1m 33s inference-wip/fork
inference-wip/fork
December 9, 2024 14:20 1m 33s
feat: Allow writing holes which are solved by BRAT Brat CI #179: Pull request #59 synchronize by acl-cqc
December 9, 2024 12:42 1m 16s holes
holes
December 9, 2024 12:42 1m 16s
feat: Allow writing holes which are solved by BRAT Brat CI #178: Pull request #59 synchronize by acl-cqc
December 9, 2024 12:36 1m 25s holes
holes
December 9, 2024 12:36 1m 25s
fix BadPortPull error message; refactor pullPorts not to require tupl… Brat CI #177: Commit 38fa6ee pushed by acl-cqc
December 6, 2024 12:56 1m 18s main
main
December 6, 2024 12:56 1m 18s
fix BadPortPull error message; refactor pullPorts not to require tuple Brat CI #176: Pull request #65 synchronize by acl-cqc
December 6, 2024 11:28 1m 26s acl/refactor_pullports3
acl/refactor_pullports3
December 6, 2024 11:28 1m 26s
fix BadPortPull error message; refactor pullPorts not to require tuple Brat CI #175: Pull request #65 opened by acl-cqc
December 6, 2024 11:19 1m 28s acl/refactor_pullports3
acl/refactor_pullports3
December 6, 2024 11:19 1m 28s
[refactor] pullPorts again, with StateT + mapM (#64) Brat CI #174: Commit 05310cc pushed by acl-cqc
December 6, 2024 11:08 1m 15s main
main
December 6, 2024 11:08 1m 15s
feat: Allow writing holes which are solved by BRAT Brat CI #173: Pull request #59 synchronize by croyzor
December 6, 2024 11:03 1m 17s holes
holes
December 6, 2024 11:03 1m 17s
feat: Allow writing holes which are solved by BRAT Brat CI #172: Pull request #59 synchronize by croyzor
December 6, 2024 11:01 1m 30s holes
holes
December 6, 2024 11:01 1m 30s
[refactor] pullports again, with StateT + mapM Brat CI #171: Pull request #64 opened by acl-cqc
December 6, 2024 08:55 1m 27s acl/refactor_pullports2
acl/refactor_pullports2
December 6, 2024 08:55 1m 27s
[refactor] pull1Port: use partition from Data.List (#62) Brat CI #170: Commit 5463a7f pushed by acl-cqc
December 4, 2024 10:38 1m 17s main
main
December 4, 2024 10:38 1m 17s
[refactor] pull1Port: use partition from Data.List Brat CI #169: Pull request #62 synchronize by acl-cqc
December 4, 2024 09:50 1m 30s acl/refactor_portpull2
acl/refactor_portpull2
December 4, 2024 09:50 1m 30s