[ refactor ] ScopedSnocList: WIP #980
This workflow is awaiting approval from a maintainer in #3368
Triggered via pull request
November 16, 2024 17:21
Status
Action required
Total duration
0s
Artifacts
–
This workflow is awaiting approval from a maintainer in #3368
ci-idris2-and-libs.yml
on: pull_request
initialise
nix-bootstrap-chez
macos-self-host-chez
ub-pack-test-lsp
ub-pack-test-pack
ub-test-collie
ub-test-elab-util
ub-test-frex
ub-test-katla-and-html
ubuntu-self-host-racket
windows-self-host-racket