Skip to content

Actions: CQCL/brat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
380 workflow runs
380 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 (#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
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
chore: Update to hugr v0.9.0 Brat CI #68: Pull request #67 synchronize by croyzor
December 23, 2024 09:59 24s chore/hugr-v0.9.0
chore/hugr-v0.9.0
December 23, 2024 09:59 24s
feat: Add bracketing to lexer Brat CI #67: Pull request #68 synchronize by croyzor
December 23, 2024 09:21 21s refactor/parser-wc
refactor/parser-wc
December 23, 2024 09:21 21s
feat: Add bracketing to lexer Brat CI #192: Pull request #68 synchronize by croyzor
December 23, 2024 09:21 1m 15s refactor/parser-wc
refactor/parser-wc
December 23, 2024 09:21 1m 15s
feat: Add bracketing to lexer Brat CI #191: Pull request #68 synchronize by croyzor
December 23, 2024 09:20 1m 18s refactor/parser-wc
refactor/parser-wc
December 23, 2024 09:20 1m 18s
feat: Add bracketing to lexer Brat CI #66: Pull request #68 synchronize by croyzor
December 23, 2024 09:20 24s refactor/parser-wc
refactor/parser-wc
December 23, 2024 09:20 24s
[refactor] Combine brackets and within Brat CI #65: Pull request #73 synchronize by croyzor
December 23, 2024 09:19 24s acl/combine-brackets-within
acl/combine-brackets-within
December 23, 2024 09:19 24s
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
tests: fix parsing of karlheinz.brat; extend let.brat (#71) Brat CI #190: Commit bb0f617 pushed by croyzor
December 23, 2024 09:18 51s main
main
December 23, 2024 09:18 51s
[refactor] Combine brackets and within Brat CI #64: Pull request #73 opened by acl-cqc
December 20, 2024 12:16 20s acl/combine-brackets-within
acl/combine-brackets-within
December 20, 2024 12:16 20s
refactor: avoid Bwd in within and brackets(Worker) Brat CI #63: Pull request #72 synchronize by acl-cqc
December 20, 2024 09:22 21s acl/brackets-avoid-bwd
acl/brackets-avoid-bwd
December 20, 2024 09:22 21s
refactor: avoid Bwd in within and brackets(Worker) Brat CI #62: Pull request #72 opened by acl-cqc
December 20, 2024 09:18 21s acl/brackets-avoid-bwd
acl/brackets-avoid-bwd
December 20, 2024 09:18 21s
tests: fix parsing of karlheinz.brat; extend let.brat Brat CI #61: Pull request #71 opened by acl-cqc
December 20, 2024 08:33 21s acl/tests_karlheinz_brackets
acl/tests_karlheinz_brackets
December 20, 2024 08:33 21s
tests: fix parsing of karlheinz.brat; extend let.brat Brat CI #189: Pull request #71 opened by acl-cqc
December 20, 2024 08:33 1m 0s acl/tests_karlheinz_brackets
acl/tests_karlheinz_brackets
December 20, 2024 08:33 1m 0s
feat: Add bracketing to lexer Brat CI #188: Pull request #68 synchronize by croyzor
December 19, 2024 12:26 1m 30s refactor/parser-wc
refactor/parser-wc
December 19, 2024 12:26 1m 30s
feat: Add bracketing to lexer Brat CI #60: Pull request #68 synchronize by croyzor
December 19, 2024 12:26 23s refactor/parser-wc
refactor/parser-wc
December 19, 2024 12:26 23s
feat: Add bracketing to lexer Brat CI #59: Pull request #68 synchronize by croyzor
December 19, 2024 12:25 21s refactor/parser-wc
refactor/parser-wc
December 19, 2024 12:25 21s
feat: Add bracketing to lexer Brat CI #187: Pull request #68 synchronize by croyzor
December 19, 2024 12:25 1m 20s refactor/parser-wc
refactor/parser-wc
December 19, 2024 12:25 1m 20s
feat: Add nat hope solving Brat CI #58: Pull request #70 opened by croyzor
December 18, 2024 14:42 21s just-nat-solving
just-nat-solving
December 18, 2024 14:42 21s
feat: *-kinded holes which are solved by BRAT Brat CI #57: Pull request #69 opened by croyzor
December 18, 2024 14:28 26s just-holes
just-holes
December 18, 2024 14:28 26s
feat: *-kinded holes which are solved by BRAT Brat CI #186: Pull request #69 opened by croyzor
December 18, 2024 14:28 1m 24s just-holes
just-holes
December 18, 2024 14:28 1m 24s
chore: Upgrade to hugr 0.8.0 (#66) Brat CI #185: Commit f0c22a4 pushed by croyzor
December 17, 2024 17:12 16m 23s main
main
December 17, 2024 17:12 16m 23s
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