idris2Packages.buildIdris: add retroactive support for building a whole dependency tree with source #352
Triggered via pull request
October 27, 2024 01:23
mattpolzin
edited
#351520
Status
Success
Total duration
1m 12s
Artifacts
–
codeowners-v2.yml
on: pull_request_target
Check
58s
Request
1m 4s