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

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
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: Add nat hope solving Brat CI #78: Pull request #70 synchronize by acl-cqc
January 7, 2025 12:31 21s just-nat-solving
just-nat-solving
January 7, 2025 12:31 21s
feat: *-kinded holes which are solved by BRAT (#69) Brat Test Coverage #41: Commit 4d60f70 pushed by acl-cqc
January 7, 2025 12:27 15m 24s main
main
January 7, 2025 12:27 15m 24s
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 #77: Pull request #69 synchronize by acl-cqc
January 7, 2025 12:19 19s just-holes
just-holes
January 7, 2025 12:19 19s
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 #76: Pull request #69 synchronize by acl-cqc
January 7, 2025 12:10 27s just-holes
just-holes
January 7, 2025 12:10 27s
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 #75: Pull request #69 synchronize by acl-cqc
January 7, 2025 11:40 25s just-holes
just-holes
January 7, 2025 11:40 25s
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: *-kinded holes which are solved by BRAT Brat CI #74: Pull request #69 synchronize by acl-cqc
January 7, 2025 11:33 20s just-holes
just-holes
January 7, 2025 11:33 20s
feat: Add bracketing to lexer (#68) Brat Test Coverage #40: Commit 7725c16 pushed by croyzor
December 23, 2024 16:38 6m 18s main
main
December 23, 2024 16:38 6m 18s
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 #73: Pull request #68 synchronize by croyzor
December 23, 2024 16:36 18s refactor/parser-wc
refactor/parser-wc
December 23, 2024 16:36 18s
feat: Add bracketing to lexer Brat CI #72: Pull request #68 synchronize by croyzor
December 23, 2024 16:35 20s refactor/parser-wc
refactor/parser-wc
December 23, 2024 16:35 20s
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: Allow brackets in abstractors Brat CI #71: Pull request #53 synchronize by croyzor
December 23, 2024 10:20 19s feat/abstractor-brackets
feat/abstractor-brackets
December 23, 2024 10:20 19s
feat: *-kinded holes which are solved by BRAT Brat CI #70: Pull request #69 synchronize by croyzor
December 23, 2024 10:20 19s just-holes
just-holes
December 23, 2024 10:20 19s
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 #69: Pull request #68 synchronize by croyzor
December 23, 2024 10:19 23s refactor/parser-wc
refactor/parser-wc
December 23, 2024 10:19 23s
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