Skip to content

Actions: sinhp/HoTTLean

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
221 workflow runs
221 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
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: 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 .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
[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
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
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 .github/workflows/push_pr.yml #401: Pull request #161 synchronize by Jlh18
8m 0s GroupoidId1
GroupoidId1
8m 0s