Skip to content

Actions: mortberg/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

a Ubuntu build #67: Commit 41c2041 pushed by mortberg
3m 19s master
master
3m 19s
Category no eta equality (#1247) Ubuntu build #66: Commit 904aa21 pushed by mortberg
22m 27s master
master
22m 27s
Clean code for category of elements and simplify a presheaf notation … Ubuntu build #65: Commit 7a6d419 pushed by mortberg
4m 45s master
master
4m 45s
Add boolean builtins in Nat (#1262) Ubuntu build #64: Commit 6dc0886 pushed by mortberg
44m 52s master
master
44m 52s
Merge pull request #1250 from ecavallo/nat-minor Ubuntu build #63: Commit 629503a pushed by mortberg
40m 35s master
master
40m 35s
Initial Boolean Algebra (#1239) Ubuntu build #62: Commit cfc6d45 pushed by mortberg
2m 23s master
master
2m 23s
Hurewicz theorem for CW complexes (#1224) Ubuntu build #61: Commit 3306f5b pushed by mortberg
23m 42s master
master
23m 42s
Intervals in posets and the covering relation (#1219) Ubuntu build #60: Commit cd94b8c pushed by mortberg
40m 29s master
master
40m 29s