Skip to content

Actions: sinhp/HoTTLean

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
50 workflow runs
50 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: links to papers .github/workflows/push.yml #199: Commit 31133dd pushed by Jlh18
8m 55s master
master
8m 55s
fix: isProp, isSet .github/workflows/push.yml #198: Commit 3456a23 pushed by Vtec234
8m 27s master
master
8m 27s
chore: rename Path.Id to PathType.Path (#169) .github/workflows/push.yml #197: Commit 0d3ac21 pushed by Jlh18
8m 27s master
master
8m 27s
Add Apache License 2.0 .github/workflows/push.yml #196: Commit 1b5abb3 pushed by Vtec234
8m 53s master
master
8m 53s
doc: groupoids are done now .github/workflows/push.yml #195: Commit 49e9b84 pushed by Vtec234
9m 1s master
master
9m 1s
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
fix: remove last sorry .github/workflows/push.yml #192: Commit 30b8e31 pushed by Vtec234
8m 56s master
master
8m 56s
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
Unstructured interpretation (#163) .github/workflows/push.yml #189: Commit b65cda5 pushed by Vtec234
9m 5s master
master
9m 5s
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: isoIsPullback (#162) .github/workflows/push.yml #187: Commit ef77ec9 pushed by Jlh18
7m 1s master
master
7m 1s
chore: remove field (#160) .github/workflows/push.yml #186: Commit e17064c pushed by Vtec234
7m 7s master
master
7m 7s
chore: fix warnings (#159) .github/workflows/push.yml #185: Commit 392db1a pushed by Vtec234
7m 8s master
master
7m 8s
fix: typechecker .github/workflows/push.yml #184: Commit 9d49dd6 pushed by Vtec234
6m 56s master
master
6m 56s
fix: Model.Natural .github/workflows/push.yml #183: Commit 56d350a pushed by Vtec234
6m 54s master
master
6m 54s
chore: bump to Lean v4.25.0-rc2 (#153) .github/workflows/push.yml #182: Commit 8d3cce1 pushed by Vtec234
5m 12s master
master
5m 12s
refactor: Unstructured (#152) .github/workflows/push.yml #181: Commit 1cd061f pushed by Vtec234
7m 19s master
master
7m 19s
Update contribution guidelines in README.md .github/workflows/push.yml #180: Commit 0bffdc4 pushed by Vtec234
6m 11s master
master
6m 11s
fix: links .github/workflows/push.yml #179: Commit 63731b4 pushed by Vtec234
6m 51s master
master
6m 51s
Reorganize files and update documentation (#141) .github/workflows/push.yml #178: Commit 97cf1dd pushed by Vtec234
6m 44s master
master
6m 44s
updating config.yml .github/workflows/push.yml #177: Commit 081f744 pushed by sinhp
6m 38s master
master
6m 38s
fixing blueprint after project namechange .github/workflows/push.yml #176: Commit ad110c0 pushed by sinhp
6m 53s master
master
6m 53s
chore: switch Id definition (#135) .github/workflows/push.yml #175: Commit 09b011d pushed by digama0
6m 32s master
master
6m 32s