Skip to content
Build

[ compat ] Add export modifier to the exitsting fixity declaration (#14) #10

Sign in to view logs

[ compat ] Add export modifier to the exitsting fixity declaration (#14)

[ compat ] Add export modifier to the exitsting fixity declaration (#14) #10

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build the lib with Idris2 HEAD
20s
20s