Skip to content

[ new ] totality checking can look under constructors (#3362) #1071

[ new ] totality checking can look under constructors (#3362)

[ new ] totality checking can look under constructors (#3362) #1071

Annotations

1 warning

ub-test-collie

succeeded Dec 11, 2024 in 17s
Set up job
1s
Download Idris2 Artifact
3s
Install build dependencies
9s
Checkout
1s
Build Collie
2s
Post Checkout
0s
Complete job
0s