Skip to content

Actions: Quantinuum/brat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
420 workflow runs
420 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
refactor: Row parsing Brat CI #409: Pull request #116 synchronize by croyzor
16m 25s cr/refactor/row-parsing
cr/refactor/row-parsing
16m 25s
elaborateKindOrFlat -> elaborateBratType .github/workflows/hlint.yaml #315: Commit 3d751e6 pushed by croyzor
Failure cr/refactor/row-parsing
cr/refactor/row-parsing
Failure
tests: Move validation tests to the haskell test suite Brat CI #408: Pull request #119 synchronize by acl-cqc
2m 0s cr/validation-tests
cr/validation-tests
2m 0s
Simplify in Examples .github/workflows/hlint.yaml #314: Commit c6e478f pushed by acl-cqc
Failure cr/validation-tests
cr/validation-tests
Failure
Include ends from Store typeMap too .github/workflows/hlint.yaml #313: Commit 17a81dd pushed by acl-cqc
Failure acl/return_vmod_on_err
acl/return_vmod_on_err
Failure
refactor: various, inc runChecking, Graph inside Context Brat CI #407: Pull request #122 opened by acl-cqc
1m 57s acl/refactor/run_checking
acl/refactor/run_checking
1m 57s
refactor(Load.hs): reindent, return InternalError not error, comment .github/workflows/hlint.yaml #312: Commit 0961644 pushed by acl-cqc
Failure acl/refactor/run_checking
acl/refactor/run_checking
Failure
refactor: Row parsing Brat CI #406: Pull request #116 synchronize by acl-cqc
2m 17s cr/refactor/row-parsing
cr/refactor/row-parsing
2m 17s
generalize elabSig + elabIO over Traversable, remove the other double… .github/workflows/hlint.yaml #311: Commit 11229de pushed by acl-cqc
Failure cr/refactor/row-parsing
cr/refactor/row-parsing
Failure
refactor: Row parsing Brat CI #405: Pull request #116 synchronize by acl-cqc
2m 20s cr/refactor/row-parsing
cr/refactor/row-parsing
2m 20s
Drop Elaboratable. elabIO is fine, but elaborateKindOrFlat needs rena… .github/workflows/hlint.yaml #310: Commit 49528c5 pushed by acl-cqc
Failure cr/refactor/row-parsing
cr/refactor/row-parsing
Failure
refactor: Row parsing Brat CI #404: Pull request #116 synchronize by croyzor
2m 9s cr/refactor/row-parsing
cr/refactor/row-parsing
2m 9s
Another instance of Solution Brat .github/workflows/hlint.yaml #309: Commit 868db16 pushed by croyzor
Failure cr/refactor/row-parsing
cr/refactor/row-parsing
Failure
More sanity checks that Ends have been Declared (#121) Brat CI #403: Commit 2dbfeb5 pushed by acl-cqc
2m 3s main
main
2m 3s
More sanity checks that Ends have been Declared (#121) Brat Test Coverage #61: Commit 2dbfeb5 pushed by acl-cqc
3m 44s main
main
3m 44s
More sanity checks that Ends have been Declared (#121) .github/workflows/hlint.yaml #308: Commit 2dbfeb5 pushed by acl-cqc
Failure main
main
Failure
More sanity checks Brat CI #402: Pull request #121 synchronize by croyzor
2m 15s acl/more_sanity_checks
acl/more_sanity_checks
2m 15s
Apply suggestion from @croyzor .github/workflows/hlint.yaml #307: Commit ec50f56 pushed by croyzor
Failure acl/more_sanity_checks
acl/more_sanity_checks
Failure
refactor: Row parsing Brat CI #401: Pull request #116 synchronize by croyzor
2m 52s cr/refactor/row-parsing
cr/refactor/row-parsing
2m 52s
Merge branch 'main' into cr/refactor/row-parsing .github/workflows/hlint.yaml #306: Commit a7e8ba3 pushed by croyzor
Failure cr/refactor/row-parsing
cr/refactor/row-parsing
Failure
More sanity checks Brat CI #400: Pull request #121 opened by acl-cqc
2m 5s acl/more_sanity_checks
acl/more_sanity_checks
2m 5s
Check ends being Yielded on are Declared .github/workflows/hlint.yaml #305: Commit 3329d06 pushed by acl-cqc
Failure acl/more_sanity_checks
acl/more_sanity_checks
Failure
refactor: Row parsing Brat CI #399: Pull request #116 synchronize by croyzor
2m 29s cr/refactor/row-parsing
cr/refactor/row-parsing
2m 29s
Update port pulling test .github/workflows/hlint.yaml #304: Commit 9059363 pushed by croyzor
Failure cr/refactor/row-parsing
cr/refactor/row-parsing
Failure
refactor: Row parsing Brat CI #398: Pull request #116 synchronize by croyzor
1m 45s cr/refactor/row-parsing
cr/refactor/row-parsing
1m 45s