Skip to content

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

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) #89

Job Run time
24m 34s
0s
24m 34s