Skip to content

Actions: CQCL/brat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
341 workflow runs
341 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: Update to hugr v0.9.0 Brat CI #56: Pull request #67 synchronize by croyzor
December 17, 2024 16:48 25s chore/hugr-v0.9.0
chore/hugr-v0.9.0
December 17, 2024 16:48 25s
chore: Upgrade to hugr 0.8.0 Brat CI #184: Pull request #66 synchronize by croyzor
December 17, 2024 16:01 2m 3s chore/hugr-v0.8.0
chore/hugr-v0.8.0
December 17, 2024 16:01 2m 3s
chore: Upgrade to hugr 0.8.0 Brat CI #55: Pull request #66 synchronize by croyzor
December 17, 2024 16:01 44s chore/hugr-v0.8.0
chore/hugr-v0.8.0
December 17, 2024 16:01 44s
feat: Add bracketing to lexer Brat CI #183: Pull request #68 synchronize by croyzor
December 17, 2024 15:46 16m 20s refactor/parser-wc
refactor/parser-wc
December 17, 2024 15:46 16m 20s
feat: Add bracketing to lexer Brat CI #54: Pull request #68 synchronize by croyzor
December 17, 2024 15:46 20s refactor/parser-wc
refactor/parser-wc
December 17, 2024 15:46 20s
feat: Add bracketing to lexer Brat CI #182: Pull request #68 opened by croyzor
December 17, 2024 15:32 16m 29s refactor/parser-wc
refactor/parser-wc
December 17, 2024 15:32 16m 29s
feat: Add bracketing to lexer Brat CI #53: Pull request #68 opened by croyzor
December 17, 2024 15:32 24s refactor/parser-wc
refactor/parser-wc
December 17, 2024 15:32 24s
chore: Update to hugr v0.9.0 Brat CI #52: Pull request #67 synchronize by croyzor
December 17, 2024 14:38 30s chore/hugr-v0.9.0
chore/hugr-v0.9.0
December 17, 2024 14:38 30s
chore: Update to hugr v0.9.0 Brat CI #51: Pull request #67 opened by croyzor
December 16, 2024 14:38 22s chore/hugr-v0.9.0
chore/hugr-v0.9.0
December 16, 2024 14:38 22s
chore: Upgrade to hugr 0.8.0 Brat CI #181: Pull request #66 opened by croyzor
December 12, 2024 15:49 17m 20s chore/hugr-v0.8.0
chore/hugr-v0.8.0
December 12, 2024 15:49 17m 20s
chore: Upgrade to hugr 0.8.0 Brat CI #50: Pull request #66 opened by croyzor
December 12, 2024 15:49 24s chore/hugr-v0.8.0
chore/hugr-v0.8.0
December 12, 2024 15:49 24s
Multi-threaded type inference Brat CI #49: Pull request #41 synchronize by acl-cqc
December 9, 2024 14:20 26s inference-wip/fork
inference-wip/fork
December 9, 2024 14:20 26s
Multi-threaded type inference Brat CI #180: Pull request #41 synchronize by acl-cqc
December 9, 2024 14:20 1m 33s inference-wip/fork
inference-wip/fork
December 9, 2024 14:20 1m 33s
feat: Allow writing holes which are solved by BRAT Brat CI #48: Pull request #59 synchronize by acl-cqc
December 9, 2024 12:42 18s holes
holes
December 9, 2024 12:42 18s