idris2Packages.buildIdris: add retroactive support for building a whole dependency tree with source #106271
Triggered via pull request
October 27, 2024 01:23
mattpolzin
edited
#351520
Status
Success
Total duration
52s
Artifacts
–
check-nix-format.yml
on: pull_request_target
nixfmt-check
45s