Skip to content

Actions: CQCL/brat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
378 workflow runs
378 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Only run tests when haskell code changes Add issues to project board #14: Issue #14 opened by croyzor
July 25, 2024 11:02 11s
July 25, 2024 11:02 11s
bug: Importing functions from other modules changes the hugr output Add issues to project board #13: Issue #13 opened by croyzor
July 25, 2024 10:59 19s
July 25, 2024 10:59 19s
refactor: Handle brackets in the lexing phase Add issues to project board #12: Issue #12 opened by croyzor
July 25, 2024 10:59 21s
July 25, 2024 10:59 21s
feat: User defined enums Add issues to project board #11: Issue #11 opened by croyzor
July 25, 2024 10:59 24s
July 25, 2024 10:59 24s
feat: Add vectorisation Add issues to project board #10: Issue #10 opened by croyzor
July 25, 2024 10:59 19s
July 25, 2024 10:59 19s
Check for covering of pattern matching Add issues to project board #9: Issue #9 opened by croyzor
July 25, 2024 10:59 13s
July 25, 2024 10:59 13s
feat: Add case statements to BRAT Add issues to project board #8: Issue #8 opened by croyzor
July 25, 2024 10:59 12s
July 25, 2024 10:59 12s
Add a coercion op to the hugr extension for BRAT Add issues to project board #7: Issue #7 opened by croyzor
July 25, 2024 10:59 15s
July 25, 2024 10:59 15s
Longer-term compilation issues (post-QFT) Add issues to project board #6: Issue #6 opened by croyzor
July 25, 2024 10:59 16s
July 25, 2024 10:59 16s
chore: Update serialised hugr schema to v0.4.0 Add issues to project board #5: Issue #5 opened by croyzor
July 25, 2024 10:59 19s
July 25, 2024 10:59 19s
chore: Add a formatter to the repo Add issues to project board #4: Issue #4 opened by croyzor
July 25, 2024 10:59 10s
July 25, 2024 10:59 10s
Prettify global type variables for error messages Add issues to project board #3: Issue #3 opened by croyzor
July 25, 2024 10:56 11s
July 25, 2024 10:56 11s
Remove the need for Selector Add issues to project board #2: Issue #2 opened by croyzor
July 25, 2024 10:23 14s
July 25, 2024 10:23 14s
[chore] Use hugr_validator from the cache in CI (#421) Brat Test Coverage #7: Commit ffa0c53 pushed by croyzor
July 25, 2024 09:28 3m 20s main
main
July 25, 2024 09:28 3m 20s
[chore] Use hugr_validator from the cache in CI (#421) Brat CI #7: Commit ffa0c53 pushed by croyzor
July 25, 2024 09:28 16m 22s main
main
July 25, 2024 09:28 16m 22s
Fix README links Brat Test Coverage #6: Commit 9f23b9e pushed by croyzor
July 23, 2024 11:05 3m 28s main
main
July 23, 2024 11:05 3m 28s
Fix README links Brat CI #6: Commit 9f23b9e pushed by croyzor
July 23, 2024 11:05 5m 2s main
main
July 23, 2024 11:05 5m 2s
[tests] Make graph tests actual golden tests (#415) Brat CI #5: Commit 34a8179 pushed by croyzor
July 23, 2024 10:58 4m 56s main
main
July 23, 2024 10:58 4m 56s
[tests] Make graph tests actual golden tests (#415) Brat Test Coverage #5: Commit 34a8179 pushed by croyzor
July 23, 2024 10:58 3m 30s main
main
July 23, 2024 10:58 3m 30s
[tests] Make graph tests actual golden tests (#415) Brat CI #4: Commit 41ec764 pushed by croyzor
July 23, 2024 09:35 4m 37s main
main
July 23, 2024 09:35 4m 37s
[tests] Make graph tests actual golden tests (#415) Brat Test Coverage #4: Commit 41ec764 pushed by croyzor
July 23, 2024 09:35 3m 31s main
main
July 23, 2024 09:35 3m 31s
Test issue Add issues to project board #1: Issue #1 opened by croyzor
July 22, 2024 16:09 14s
July 22, 2024 16:09 14s
[chore] Update github actions with new repo structure Brat CI #3: Commit 493ee56 pushed by croyzor
July 22, 2024 15:43 4m 47s main
main
July 22, 2024 15:43 4m 47s
[chore] Update github actions with new repo structure Brat Test Coverage #3: Commit 493ee56 pushed by croyzor
July 22, 2024 15:43 3m 23s main
main
July 22, 2024 15:43 3m 23s
[refactor] Decl -> FuncDecl; move out from Syntax.Common (#414) Brat CI #2: Commit 4f37947 pushed by croyzor
July 22, 2024 15:37 2m 19s main
main
July 22, 2024 15:37 2m 19s
ProTip! You can narrow down the results and go further in time using created:<2024-07-22 or the other filters available.