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

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
WIP: Check for reversibility and controllability of circuits Brat CI #89: Pull request #77 opened by croyzor
January 17, 2025 12:14 24s control
control
January 17, 2025 12:14 24s
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 (#75) Brat Test Coverage #43: Commit 30bdc9f pushed by croyzor
January 14, 2025 09:47 4m 58s main
main
January 14, 2025 09:47 4m 58s
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
fix: False positive in type equality Brat CI #88: Pull request #75 synchronize by croyzor
January 14, 2025 09:45 24s fix/typeEq
fix/typeEq
January 14, 2025 09:45 24s
cleanup: Delete unused VSum (#76) Brat Test Coverage #42: Commit f1ae0b1 pushed by croyzor
January 14, 2025 09:43 5m 42s main
main
January 14, 2025 09:43 5m 42s
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 #87: Pull request #76 opened by croyzor
January 14, 2025 09:38 20s cleanup/VSum
cleanup/VSum
January 14, 2025 09:38 20s
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
fix: False positive in type equality Brat CI #86: Pull request #75 synchronize by croyzor
January 14, 2025 09:22 23s fix/typeEq
fix/typeEq
January 14, 2025 09:22 23s
feat: Human-friendly metavariable printing Brat CI #85: Pull request #54 synchronize by croyzor
January 13, 2025 14:40 22s feat/metas4humans
feat/metas4humans
January 13, 2025 14:40 22s
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
feat: Human-friendly metavariable printing Brat CI #84: Pull request #54 synchronize by croyzor
January 13, 2025 14:07 25s feat/metas4humans
feat/metas4humans
January 13, 2025 14:07 25s
fix: False positive in type equality Brat CI #83: Pull request #75 opened by croyzor
January 13, 2025 12:43 22s fix/typeEq
fix/typeEq
January 13, 2025 12:43 22s
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 #82: Pull request #70 synchronize by acl-cqc
January 7, 2025 14:40 1m 47s just-nat-solving
just-nat-solving
January 7, 2025 14:40 1m 47s
Compute 2^constant at compile-time Brat CI #81: Pull request #74 opened by acl-cqc
January 7, 2025 13:26 19s just_nat_solving/comptimepow
just_nat_solving/comptimepow
January 7, 2025 13:26 19s
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 #80: Pull request #70 synchronize by acl-cqc
January 7, 2025 12:35 23s just-nat-solving
just-nat-solving
January 7, 2025 12:35 23s
feat: Add nat hope solving Brat CI #79: Pull request #70 synchronize by acl-cqc
January 7, 2025 12:34 24s just-nat-solving
just-nat-solving
January 7, 2025 12:34 24s
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