idris2Packages.buildIdris: add retroactive support for building a whole dependency tree with source #51329
Triggered via pull request
October 26, 2024 20:41
mattpolzin
synchronize
#351520
Status
Success
Total duration
3m 39s
Artifacts
–
check-shell.yml
on: pull_request_target
shell-check-x86_64-linux
43s
shell-check-aarch64-darwin
3m 28s