Skip to content

Actions: sinhp/HoTTLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
638 workflow runs
638 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: GroupoidModel polymorphic type formers .github/workflows/push_pr.yml #408: Pull request #166 synchronize by Jlh18
9m 17s poly-sigma
poly-sigma
9m 17s
Unstructured interpretation .github/workflows/push_pr.yml #407: Pull request #163 synchronize by Jlh18
10m 9s unstr-interp
unstr-interp
10m 9s
feat: GroupoidModel polymorphic type formers .github/workflows/push_pr.yml #406: Pull request #166 synchronize by Jlh18
8m 54s poly-sigma
poly-sigma
8m 54s
Unstructured interpretation .github/workflows/push_pr.yml #405: Pull request #163 synchronize by Vtec234
5m 43s unstr-interp
unstr-interp
5m 43s
feat: GroupoidModel polymorphic type formers .github/workflows/push_pr.yml #404: Pull request #166 synchronize by Jlh18
5m 30s poly-sigma
poly-sigma
5m 30s
chore: golf some proofs and generalize some universe variables .github/workflows/push_pr.yml #403: Pull request #167 opened by Jlh18
8m 24s IsPullbackGolfs
IsPullbackGolfs
8m 24s
feat: GroupoidModel polymorphic type formers .github/workflows/push_pr.yml #402: Pull request #166 opened by Vtec234
5m 51s poly-sigma
poly-sigma
5m 51s
feat: Groupoid model identity and Pi types (#161) Compile blueprint #179: Commit d87f63e pushed by Jlh18
16m 56s master
master
16m 56s
feat: Groupoid model identity and Pi types (#161) .github/workflows/push.yml #188: Commit d87f63e pushed by Jlh18
8m 44s master
master
8m 44s
feat: Groupoid model identity and Pi types .github/workflows/push_pr.yml #401: Pull request #161 synchronize by Jlh18
8m 0s GroupoidId1
GroupoidId1
8m 0s