Skip to content

Actions: sinhp/HoTTLean

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
127 workflow runs
127 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: links to papers Compile blueprint #190: Commit 31133dd pushed by Jlh18
22m 6s master
master
22m 6s
fix: isProp, isSet Compile blueprint #189: Commit 3456a23 pushed by Vtec234
22m 19s master
master
22m 19s
chore: rename Path.Id to PathType.Path (#169) Compile blueprint #188: Commit 0d3ac21 pushed by Jlh18
22m 56s master
master
22m 56s
Add Apache License 2.0 Compile blueprint #187: Commit 1b5abb3 pushed by Vtec234
22m 34s master
master
22m 34s
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
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
golfs (#167) Compile blueprint #182: Commit 66808dc pushed by Vtec234
16m 33s master
master
16m 33s
feat: GroupoidModel polymorphic type formers (#166) Compile blueprint #181: Commit 33dbfd2 pushed by Vtec234
16m 52s master
master
16m 52s
Unstructured interpretation (#163) Compile blueprint #180: Commit b65cda5 pushed by Vtec234
16m 1s master
master
16m 1s
feat: Groupoid model identity and Pi types (#161) Compile blueprint #179: Commit d87f63e pushed by Jlh18
16m 56s master
master
16m 56s
feat: isoIsPullback (#162) Compile blueprint #178: Commit ef77ec9 pushed by Jlh18
14m 52s master
master
14m 52s
chore: remove field (#160) Compile blueprint #177: Commit e17064c pushed by Vtec234
14m 32s master
master
14m 32s
chore: fix warnings (#159) Compile blueprint #176: Commit 392db1a pushed by Vtec234
17m 21s master
master
17m 21s
fix: typechecker Compile blueprint #175: Commit 9d49dd6 pushed by Vtec234
16m 33s master
master
16m 33s
fix: Model.Natural Compile blueprint #174: Commit 56d350a pushed by Vtec234
16m 28s master
master
16m 28s
chore: bump to Lean v4.25.0-rc2 (#153) Compile blueprint #173: Commit 8d3cce1 pushed by Vtec234
20m 58s master
master
20m 58s
refactor: Unstructured (#152) Compile blueprint #172: Commit 1cd061f pushed by Vtec234
19m 21s master
master
19m 21s
Update contribution guidelines in README.md Compile blueprint #171: Commit 0bffdc4 pushed by Vtec234
16m 49s master
master
16m 49s
fix: links Compile blueprint #170: Commit 63731b4 pushed by Vtec234
21m 24s master
master
21m 24s
Reorganize files and update documentation (#141) Compile blueprint #169: Commit 97cf1dd pushed by Vtec234
20m 42s master
master
20m 42s
updating config.yml Compile blueprint #168: Commit 081f744 pushed by sinhp
16m 59s master
master
16m 59s
fixing blueprint after project namechange Compile blueprint #167: Commit ad110c0 pushed by sinhp
21m 49s master
master
21m 49s
chore: switch Id definition (#135) Compile blueprint #166: Commit 09b011d pushed by digama0
16m 36s master
master
16m 36s