Skip to content
Cross-Platform Build & Test

ci(abi): run Idris2 type-check in the pinned idris2-pack container (#58) #161

Sign in to view logs

ci(abi): run Idris2 type-check in the pinned idris2-pack container (#58)

ci(abi): run Idris2 type-check in the pinned idris2-pack container (#58) #161

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
1m 18s
1m 18s