Skip to content

Actions: sinhp/HoTTLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
554 workflow runs
554 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Magmatype Proof assistant test: structure identity principle for magmas #165 .github/workflows/push_pr.yml #426: Pull request #172 synchronize by PradCoder
21m 58s PradCoder:magmatype
PradCoder:magmatype
21m 58s
[WIP] Groupoid interpretation .github/workflows/push_pr.yml #424: Pull request #168 synchronize by Vtec234
1m 43s hott0-interp
hott0-interp
1m 43s
[WIP] Groupoid interpretation .github/workflows/push_pr.yml #423: Pull request #168 synchronize by Vtec234
1m 49s hott0-interp
hott0-interp
1m 49s
[WIP] Groupoid interpretation .github/workflows/push_pr.yml #422: Pull request #168 synchronize by Vtec234
1m 52s hott0-interp
hott0-interp
1m 52s
[WIP] Groupoid interpretation .github/workflows/push_pr.yml #421: Pull request #168 synchronize by Vtec234
1m 47s hott0-interp
hott0-interp
1m 47s
[WIP] Groupoid interpretation .github/workflows/push_pr.yml #420: Pull request #168 synchronize by Vtec234
1m 38s hott0-interp
hott0-interp
1m 38s
chore: bump to 4.28.0-rc1 .github/workflows/push_pr.yml #419: Pull request #171 synchronize by Vtec234
3m 48s bump/v4.28.0-rc1
bump/v4.28.0-rc1
3m 48s
chore: bump to 4.28.0-rc1 .github/workflows/push_pr.yml #418: Pull request #171 synchronize by Vtec234
3m 51s bump/v4.28.0-rc1
bump/v4.28.0-rc1
3m 51s
chore: bump to 4.28.0-rc1 .github/workflows/push_pr.yml #417: Pull request #171 synchronize by Vtec234
18s bump/v4.28.0-rc1
bump/v4.28.0-rc1
18s
chore: bump to 4.28.0-rc1 .github/workflows/push_pr.yml #416: Pull request #171 opened by Vtec234
3m 20s bump/v4.28.0-rc1
bump/v4.28.0-rc1
3m 20s
feat: links to papers Compile blueprint #190: Commit 31133dd pushed by Jlh18
22m 6s master
master
22m 6s
feat: links to papers .github/workflows/push.yml #199: Commit 31133dd pushed by Jlh18
8m 55s master
master
8m 55s
fix: isProp, isSet Compile blueprint #189: Commit 3456a23 pushed by Vtec234
22m 19s master
master
22m 19s
fix: isProp, isSet .github/workflows/push.yml #198: Commit 3456a23 pushed by Vtec234
8m 27s master
master
8m 27s
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