Skip to content

Actions: sinhp/HoTTLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
696 workflow runs
696 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Structured model .github/workflows/push_pr.yml #415: Pull request #170 opened by Jlh18
9m 16s ForMathlibUpdate
ForMathlibUpdate
9m 16s
chore: rename Path.Id to PathType.Path (#169) Compile blueprint #188: Commit 0d3ac21 pushed by Jlh18
22m 56s master
master
22m 56s
chore: rename Path.Id to PathType.Path (#169) .github/workflows/push.yml #197: Commit 0d3ac21 pushed by Jlh18
8m 27s master
master
8m 27s
chore: rename Path.Id to PathType.Path .github/workflows/push_pr.yml #414: Pull request #169 opened by Jlh18
9m 12s PathType
PathType
9m 12s
[WIP] Groupoid interpretation .github/workflows/push_pr.yml #413: Pull request #168 synchronize by Vtec234
8m 56s hott0-interp
hott0-interp
8m 56s
[WIP] Groupoid interpretation .github/workflows/push_pr.yml #412: Pull request #168 synchronize by Vtec234
8m 57s hott0-interp
hott0-interp
8m 57s
Add Apache License 2.0 .github/workflows/push.yml #196: Commit 1b5abb3 pushed by Vtec234
8m 53s master
master
8m 53s
Add Apache License 2.0 Compile blueprint #187: Commit 1b5abb3 pushed by Vtec234
22m 34s master
master
22m 34s
[WIP] Groupoid interpretation .github/workflows/push_pr.yml #411: Pull request #168 synchronize by Vtec234
9m 36s hott0-interp
hott0-interp
9m 36s
[WIP] Groupoid interpretation .github/workflows/push_pr.yml #410: Pull request #168 opened by Vtec234
8m 15s hott0-interp
hott0-interp
8m 15s
doc: groupoids are done now .github/workflows/push.yml #195: Commit 49e9b84 pushed by Vtec234
9m 1s master
master
9m 1s
doc: groupoids are done now Compile blueprint #186: Commit 49e9b84 pushed by Vtec234
17m 8s master
master
17m 8s
Change Dependencies section header to H3 Compile blueprint #185: Commit 1fab9b5 pushed by sinhp
17m 51s master
master
17m 51s
Change Dependencies section header to H3 .github/workflows/push.yml #194: Commit 1fab9b5 pushed by sinhp
8m 54s master
master
8m 54s
Add Dependencies section to README .github/workflows/push.yml #193: Commit f17edab pushed by sinhp
8m 42s master
master
8m 42s
Add Dependencies section to README Compile blueprint #184: Commit f17edab pushed by sinhp
16m 27s master
master
16m 27s
fix: remove last sorry Compile blueprint #183: Commit 30b8e31 pushed by Vtec234
17m 35s master
master
17m 35s
fix: remove last sorry .github/workflows/push.yml #192: Commit 30b8e31 pushed by Vtec234
8m 56s master
master
8m 56s
golfs (#167) Compile blueprint #182: Commit 66808dc pushed by Vtec234
16m 33s master
master
16m 33s
golfs (#167) .github/workflows/push.yml #191: Commit 66808dc pushed by Vtec234
9m 38s master
master
9m 38s
feat: GroupoidModel polymorphic type formers (#166) .github/workflows/push.yml #190: Commit 33dbfd2 pushed by Vtec234
8m 38s master
master
8m 38s
feat: GroupoidModel polymorphic type formers (#166) Compile blueprint #181: Commit 33dbfd2 pushed by Vtec234
16m 52s master
master
16m 52s
feat: GroupoidModel polymorphic type formers .github/workflows/push_pr.yml #409: Pull request #166 synchronize by Vtec234
9m 4s poly-sigma
poly-sigma
9m 4s
Unstructured interpretation (#163) .github/workflows/push.yml #189: Commit b65cda5 pushed by Vtec234
9m 5s master
master
9m 5s
Unstructured interpretation (#163) Compile blueprint #180: Commit b65cda5 pushed by Vtec234
16m 1s master
master
16m 1s