Skip to content

Actions: Quantinuum/brat

Actions

Brat Test Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
16 workflow runs
16 workflow runs

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
Better Dot rendering of closures (#117) Brat Test Coverage #59: Commit 88e8617 pushed by acl-cqc
5m 0s main
main
5m 0s
refactor: endPorts arguments (#114) Brat Test Coverage #58: Commit 34ed64c pushed by croyzor
4m 53s main
main
4m 53s
feat: Datatype of thinnings (#113) Brat Test Coverage #57: Commit 193d33f pushed by croyzor
5m 10s main
main
5m 10s
feat: Stack Machine interpreter + compile only kernels + in-.brat-fil… Brat Test Coverage #56: Commit 8abf605 pushed by acl-cqc
4m 55s main
main
4m 55s
fix: parse arithmetic expressions in brace sections (#108) Brat Test Coverage #55: Commit 71183c5 pushed by croyzor
17m 20s main
main
17m 20s
Fix: imports (#103) Brat Test Coverage #54: Commit 6cf6b0d pushed by acl-cqc
15m 52s main
main
15m 52s
Fix: namespacing in Load.hs (#104) Brat Test Coverage #53: Commit e494e6f pushed by acl-cqc
15m 38s main
main
15m 38s
feat: add splice on HugrGraph ADT (#98) Brat Test Coverage #52: Commit 06f7432 pushed by acl-cqc
14m 52s main
main
14m 52s
ci: Add issues to new project (#102) Brat Test Coverage #51: Commit e082da8 pushed by croyzor
5m 5s main
main
5m 5s
refactor: compile Hugr using abstract graph datatype (#97) Brat Test Coverage #50: Commit 70ff5bf pushed by acl-cqc
3m 10s main
main
3m 10s
Multithreaded type checking and inference (#93) Brat Test Coverage #49: Commit 3e46d9d pushed by croyzor
2m 51s main
main
2m 51s
ci: Update repo name in project-board action (#91) Brat Test Coverage #48: Commit 832539d pushed by croyzor
15m 4s main
main
15m 4s
feat(ci): only run on **.hs (#83) Brat Test Coverage #47: Commit d502ca5 pushed by croyzor
3m 18s main
main
3m 18s
chore: Test hugr extension in CI (#80) Brat Test Coverage #46: Commit 82cdaea pushed by croyzor
3m 27s main
main
3m 27s
feat: Add closure type and operations to Hugr extension (#79) Brat Test Coverage #45: Commit 584d310 pushed by croyzor
17m 9s main
main
17m 9s
Brat Test Coverage Brat Test Coverage #44: Manually run by acl-cqc
15m 4s just-nat-solving
just-nat-solving
15m 4s