[ refactor ] ScopedSnocList: WIP #925
This workflow is awaiting approval from a maintainer in #3368
Triggered via pull request
October 4, 2024 12:00
GulinSS
Status
Action required
Total duration
–
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