Skip to content
Label PR

idris2Packages.buildIdris: add retroactive support for building a whole dependency tree with source #562350

Sign in to view logs

idris2Packages.buildIdris: add retroactive support for building a whole dependency tree with source

idris2Packages.buildIdris: add retroactive support for building a whole dependency tree with source #562350

Run time

Learn about OS pricing on GitHub Actions
Job Run time
label-pr
4s
4s