Skip to content

Actions: stschaef/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix defintions of min and max, add comment on limitations of `Usi… Ubuntu build #3: Commit 16e6988 pushed by stschaef
41m 59s master
master
41m 59s
Move factorial from Cubical.Data.Fin.LehmerCode to `Cubical.Data.… Ubuntu build #2: Commit e8ff0c1 pushed by stschaef
48m 16s master
master
48m 16s