Skip to content

Actions: CQCL/brat

Actions

Brat CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP: Check for reversibility and controllability of circuits Brat CI #217: Pull request #77 opened by croyzor
January 17, 2025 12:14 37s control
control
January 17, 2025 12:14 37s
fix: False positive in type equality (#75) Brat CI #216: Commit 30bdc9f pushed by croyzor
January 14, 2025 09:47 1m 15s main
main
January 14, 2025 09:47 1m 15s
fix: False positive in type equality Brat CI #215: Pull request #75 synchronize by croyzor
January 14, 2025 09:45 1m 17s fix/typeEq
fix/typeEq
January 14, 2025 09:45 1m 17s
cleanup: Delete unused VSum (#76) Brat CI #214: Commit f1ae0b1 pushed by croyzor
January 14, 2025 09:43 1m 21s main
main
January 14, 2025 09:43 1m 21s
cleanup: Delete unused VSum Brat CI #213: Pull request #76 opened by croyzor
January 14, 2025 09:38 1m 16s cleanup/VSum
cleanup/VSum
January 14, 2025 09:38 1m 16s
fix: False positive in type equality Brat CI #212: Pull request #75 synchronize by croyzor
January 14, 2025 09:22 1m 39s fix/typeEq
fix/typeEq
January 14, 2025 09:22 1m 39s
feat: Human-friendly metavariable printing Brat CI #211: Pull request #54 synchronize by croyzor
January 13, 2025 14:40 1m 33s feat/metas4humans
feat/metas4humans
January 13, 2025 14:40 1m 33s
feat: Human-friendly metavariable printing Brat CI #210: Pull request #54 synchronize by croyzor
January 13, 2025 14:07 1m 58s feat/metas4humans
feat/metas4humans
January 13, 2025 14:07 1m 58s
fix: False positive in type equality Brat CI #209: Pull request #75 opened by croyzor
January 13, 2025 12:43 1m 34s fix/typeEq
fix/typeEq
January 13, 2025 12:43 1m 34s
feat: Add nat hope solving Brat CI #208: Pull request #70 synchronize by acl-cqc
January 7, 2025 14:40 2m 56s just-nat-solving
just-nat-solving
January 7, 2025 14:40 2m 56s
feat: Add nat hope solving Brat CI #207: Pull request #70 synchronize by acl-cqc
January 7, 2025 12:35 16m 35s just-nat-solving
just-nat-solving
January 7, 2025 12:35 16m 35s
feat: Add nat hope solving Brat CI #206: Pull request #70 synchronize by acl-cqc
January 7, 2025 12:34 17m 4s just-nat-solving
just-nat-solving
January 7, 2025 12:34 17m 4s
feat: Add nat hope solving Brat CI #205: Pull request #70 synchronize by acl-cqc
January 7, 2025 12:31 17m 26s just-nat-solving
just-nat-solving
January 7, 2025 12:31 17m 26s
feat: *-kinded holes which are solved by BRAT (#69) Brat CI #204: Commit 4d60f70 pushed by acl-cqc
January 7, 2025 12:27 16m 51s main
main
January 7, 2025 12:27 16m 51s
feat: *-kinded holes which are solved by BRAT Brat CI #203: Pull request #69 synchronize by acl-cqc
January 7, 2025 12:19 1m 16s just-holes
just-holes
January 7, 2025 12:19 1m 16s
feat: *-kinded holes which are solved by BRAT Brat CI #202: Pull request #69 synchronize by acl-cqc
January 7, 2025 12:10 1m 19s just-holes
just-holes
January 7, 2025 12:10 1m 19s
feat: *-kinded holes which are solved by BRAT Brat CI #201: Pull request #69 synchronize by acl-cqc
January 7, 2025 11:40 16m 31s just-holes
just-holes
January 7, 2025 11:40 16m 31s
feat: *-kinded holes which are solved by BRAT Brat CI #200: Pull request #69 synchronize by acl-cqc
January 7, 2025 11:33 16m 11s just-holes
just-holes
January 7, 2025 11:33 16m 11s
feat: Add bracketing to lexer (#68) Brat CI #199: Commit 7725c16 pushed by croyzor
December 23, 2024 16:38 1m 18s main
main
December 23, 2024 16:38 1m 18s
feat: Add bracketing to lexer Brat CI #198: Pull request #68 synchronize by croyzor
December 23, 2024 16:36 1m 18s refactor/parser-wc
refactor/parser-wc
December 23, 2024 16:36 1m 18s
feat: Add bracketing to lexer Brat CI #197: Pull request #68 synchronize by croyzor
December 23, 2024 16:35 1m 17s refactor/parser-wc
refactor/parser-wc
December 23, 2024 16:35 1m 17s
feat: *-kinded holes which are solved by BRAT Brat CI #196: Pull request #69 synchronize by croyzor
December 23, 2024 10:20 16m 54s just-holes
just-holes
December 23, 2024 10:20 16m 54s
feat: Add bracketing to lexer Brat CI #195: Pull request #68 synchronize by croyzor
December 23, 2024 10:19 16m 52s refactor/parser-wc
refactor/parser-wc
December 23, 2024 10:19 16m 52s
chore: Update to hugr v0.9.0 (#67) Brat CI #194: Commit 17736fa pushed by croyzor
December 23, 2024 10:18 16m 29s main
main
December 23, 2024 10:18 16m 29s
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