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