Skip to content
Ubuntu build

Move factorial from Cubical.Data.Fin.LehmerCode to `Cubical.Data.… #2735

Sign in to view logs

Move factorial from Cubical.Data.Fin.LehmerCode to `Cubical.Data.…

Move factorial from Cubical.Data.Fin.LehmerCode to `Cubical.Data.… #2735

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-cubical
46m 30s
46m 30s