idris2Packages.buildIdris: add retroactive support for building a whole dependency tree with source #957567
Triggered via pull request
October 26, 2024 23:16
ofborg[bot]
ofborg[bot]
labeled
#351520
Status
Skipped
Total duration
2s
Artifacts
–
backport.yml
on: pull_request_target
Backport Pull Request
0s