Skip to content
Lint the sources

update buildIdris function to support withSource retroactively (#3469) #6756

Sign in to view logs

update buildIdris function to support withSource retroactively (#3469)

update buildIdris function to support withSource retroactively (#3469) #6756

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
4s
4s