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