Skip to content
Ubuntu build

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

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 #2729

Triggered via pull request February 14, 2025 07:50
@anshwad10anshwad10
synchronize #1184
anshwad10:patch-3
Status Success
Total duration 47m 1s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-cubical
46m 52s
test-cubical
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
test-cubical
Cache not found for keys: library-Linux-9.4.7-3.6.2.0-v2.6.4.1-f277c100ade39e19893dcd4ebd6cf8702cfde5df6c837731ca2fb38bb82d9804, library-Linux-9.4.7-3.6.2.0-v2.6.4.1-
test-cubical
Cache not found for keys: Linux-9.4.7-3.6.2.0-v2.6.4.1