Skip to content
Ubuntu build

Move factorial from Cubical.Data.Fin.LehmerCode to Cubical.Data.Nat.Properties #2725

Sign in to view logs

Move factorial from Cubical.Data.Fin.LehmerCode to Cubical.Data.Nat.Properties

Move factorial from Cubical.Data.Fin.LehmerCode to Cubical.Data.Nat.Properties #2725

Triggered via pull request February 9, 2025 12:36
@anshwad10anshwad10
opened #1184
anshwad10:patch-3
Status Failure
Total duration 10m 21s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-cubical
10m 11s
test-cubical
Fit to window
Zoom out
Zoom in

Annotations

1 error
test-cubical
Process completed with exit code 2.