Skip to content

Actions: CQCL/brat

Actions

Brat Test Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Add bracketing to lexer (#68) Brat Test Coverage #40: Commit 7725c16 pushed by croyzor
December 23, 2024 16:38 6m 18s main
main
December 23, 2024 16:38 6m 18s
chore: Update to hugr v0.9.0 (#67) Brat Test Coverage #39: Commit 17736fa pushed by croyzor
December 23, 2024 10:18 3m 26s main
main
December 23, 2024 10:18 3m 26s
tests: fix parsing of karlheinz.brat; extend let.brat (#71) Brat Test Coverage #38: Commit bb0f617 pushed by croyzor
December 23, 2024 09:18 3m 18s main
main
December 23, 2024 09:18 3m 18s
chore: Upgrade to hugr 0.8.0 (#66) Brat Test Coverage #37: Commit f0c22a4 pushed by croyzor
December 17, 2024 17:12 15m 41s main
main
December 17, 2024 17:12 15m 41s
fix BadPortPull error message; refactor pullPorts not to require tupl… Brat Test Coverage #36: Commit 38fa6ee pushed by acl-cqc
December 6, 2024 12:56 3m 30s main
main
December 6, 2024 12:56 3m 30s
[refactor] pullPorts again, with StateT + mapM (#64) Brat Test Coverage #35: Commit 05310cc pushed by acl-cqc
December 6, 2024 11:08 3m 28s main
main
December 6, 2024 11:08 3m 28s
[refactor] pull1Port: use partition from Data.List (#62) Brat Test Coverage #34: Commit 5463a7f pushed by acl-cqc
December 4, 2024 10:38 3m 26s main
main
December 4, 2024 10:38 3m 26s
feat: give all next calls a label (#61) Brat Test Coverage #33: Commit 9bad538 pushed by croyzor
December 3, 2024 13:24 3m 28s main
main
December 3, 2024 13:24 3m 28s
Brat Test Coverage Brat Test Coverage #32: Manually run by acl-cqc
December 2, 2024 15:06 4m 23s holes
holes
December 2, 2024 15:06 4m 23s
feat: Give every node created with anext a label (#60) Brat Test Coverage #31: Commit 870e104 pushed by croyzor
November 28, 2024 09:26 3m 35s main
main
November 28, 2024 09:26 3m 35s
[refactor] vectorise: take expected mode, make return type explicit (… Brat Test Coverage #30: Commit cca5a1d pushed by acl-cqc
November 27, 2024 14:05 3m 38s main
main
November 27, 2024 14:05 3m 38s
refactor: Rename UserName to QualName (#56) Brat Test Coverage #29: Commit 7458577 pushed by croyzor
November 25, 2024 17:09 3m 26s main
main
November 25, 2024 17:09 3m 26s
[refactor] Common-up in checkBody (#57) Brat Test Coverage #28: Commit e539073 pushed by croyzor
November 25, 2024 16:58 3m 33s main
main
November 25, 2024 16:58 3m 33s
chore: Add HLint CI action and apply hints (#55) Brat Test Coverage #27: Commit 86f94de pushed by croyzor
November 19, 2024 11:28 16m 14s main
main
November 19, 2024 11:28 16m 14s
[trivial+refactor] Make checkThunk local (#50) Brat Test Coverage #26: Commit c699cda pushed by acl-cqc
November 6, 2024 14:17 4m 10s main
main
November 6, 2024 14:17 4m 10s
chore: Update compilation to target hugr v0.6.0 (#52) Brat Test Coverage #25: Commit 8a4ff4f pushed by croyzor
November 5, 2024 17:35 3m 36s main
main
November 5, 2024 17:35 3m 36s
refactor: Combine hugr types and ops into one module (#51) Brat Test Coverage #24: Commit c1110ed pushed by croyzor
November 5, 2024 15:33 4m 19s main
main
November 5, 2024 15:33 4m 19s
[refactor] combine checkInputs/Outputs and use for(M) (#42) Brat Test Coverage #23: Commit 8b6c4c5 pushed by acl-cqc
November 1, 2024 11:25 3m 29s main
main
November 1, 2024 11:25 3m 29s
feat: Vectorisation - of and vectorised application (#47) Brat Test Coverage #22: Commit c8039aa pushed by croyzor
October 31, 2024 15:20 3m 24s main
main
October 31, 2024 15:20 3m 24s
chore(ci): Try harder to cache stack deps (#49) Brat Test Coverage #21: Commit be2b27c pushed by croyzor
October 31, 2024 13:33 3m 34s main
main
October 31, 2024 13:33 3m 34s
feat: Make FC reporting in errors nicer (#39) Brat Test Coverage #20: Commit a77f82c pushed by croyzor
October 30, 2024 13:55 3m 29s main
main
October 30, 2024 13:55 3m 29s
fix: Check that all overs and unders are used in toplevel defs (#48) Brat Test Coverage #19: Commit 8752f32 pushed by croyzor
October 29, 2024 17:00 3m 31s main
main
October 29, 2024 17:00 3m 31s
tests: improve expectFailForPaths (#46) Brat Test Coverage #18: Commit cea653c pushed by acl-cqc
October 29, 2024 09:45 3m 21s main
main
October 29, 2024 09:45 3m 21s
tests: pass test if files have holes; don't write out file if checkin… Brat Test Coverage #17: Commit 96cb8bc pushed by acl-cqc
October 26, 2024 13:33 3m 51s main
main
October 26, 2024 13:33 3m 51s
Tests: error on unused imports (#45) Brat Test Coverage #16: Commit 1d99dd2 pushed by acl-cqc
October 25, 2024 14:24 3m 30s main
main
October 25, 2024 14:24 3m 30s