Skip to content
Build

[ refactor ] Unifying interface implementations for RRBVector (Sized and Unsized) #188

Sign in to view logs

[ refactor ] Unifying interface implementations for RRBVector (Sized and Unsized)

[ refactor ] Unifying interface implementations for RRBVector (Sized and Unsized) #188

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build idris-community/idris2-containers with Idris2 latest
39s
39s