Skip to content
Build

[ hint ] Add noHints to the LayoutOpts #7

Sign in to view logs

[ hint ] Add noHints to the LayoutOpts

[ hint ] Add noHints to the LayoutOpts #7

Run time

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