refactor Uninhabited implementation for Elem types #989
This workflow is awaiting approval from a maintainer in #3412
Triggered via pull request
November 18, 2024 18:14
ihor-rud
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #3412
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