Skip to content
Ubuntu build

[ refactor ] (more) decidable Data.Fin.Properties #4839

Sign in to view logs

[ refactor ] (more) decidable Data.Fin.Properties

[ refactor ] (more) decidable Data.Fin.Properties #4839

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-stdlib
39m 25s
39m 25s