Skip to content

Actions: pi-base/data

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
not Menger compile #7318: Commit a1924ae pushed by prabau
23s s125-traits
s125-traits
23s
not Menger compile #7317: Commit ecb16c8 pushed by prabau
23s s125-traits
s125-traits
23s
More traits for S125 Knaster-Kuratowski fan compile #7316: Commit 463478f pushed by prabau
24s s125-traits
s125-traits
24s
Spaces with a dispersion point are not cut point spaces (#1829) compile #7315: Commit b0894a8 pushed by felixpernegger
19s main
main
19s
trait cleanup compile #7314: Commit f1febd6 pushed by prabau
26s t928-change
t928-change
26s
CWH locally relatively compact Alexandrov T0 spaces are normal (#1827) compile #7313: Commit 931af4f pushed by prabau
22s main
main
22s
Spaces with a dispersion point are not cut point spaces compile #7312: Commit 3f145bb pushed by prabau
25s t928-change
t928-change
25s
More traits for S125 Knaster-Kuratowski fan compile #7311: Commit a51948c pushed by prabau
27s s125-traits
s125-traits
27s
Spaces with dispersion point and size >= 3 are not homogeneous (#1828) compile #7310: Commit 81cf8d1 pushed by felixpernegger
24s main
main
24s
remove Kline reference compile #7309: Commit 0bf20df pushed by prabau
19s dispersion-homog
dispersion-homog
19s
apply suggestions compile #7308: Commit 7322d38 pushed by felixpernegger
32s t6traits
t6traits
32s
Apply suggestions from code review compile #7307: Commit 369a727 pushed by felixpernegger
21s t6traits
t6traits
21s
Spaces with dispersion point and size >= 3 are not homogeneous compile #7306: Commit d5547b0 pushed by prabau
39s dispersion-homog
dispersion-homog
39s
CWH + loc rel compact + Alexandrov + T0 => normal compile #7305: Commit 8c0e518 pushed by prabau
28s compact-CWH
compact-CWH
28s
Track contribution guidelines in repo (#1821) compile #7304: Commit 22802b6 pushed by StevenClontz
25s main
main
25s
new theorem (#1824) compile #7303: Commit a0bd02b pushed by StevenClontz
24s main
main
24s
Submetrizable implies Dieudonne complete (for completely regular spac… compile #7302: Commit 82099be pushed by felixpernegger
27s main
main
27s
TVS, two results about injectively path connected (#1826) compile #7301: Commit c3f12ef pushed by prabau
23s main
main
23s
Update T000923.md compile #7300: Commit 428d3fd pushed by Moniker1998
22s Submetrizable-implies-Dieudonne-complete
Submetrizable-implies-Dieudonne-complete
22s
added reference compile #7299: Commit c9b53fb pushed by Moniker1998
41s Submetrizable-implies-Dieudonne-complete
Submetrizable-implies-Dieudonne-complete
41s
Update T000926.md compile #7298: Commit edc6a0f pushed by Moniker1998
26s TVS-implies-injectively-path-connected
TVS-implies-injectively-path-connected
26s
Update theorems/T000926.md compile #7297: Commit a65b023 pushed by Moniker1998
14s TVS-implies-injectively-path-connected
TVS-implies-injectively-path-connected
14s
delete two specified properties compile #7296: Commit f29b450 pushed by Moniker1998
33s TVS-implies-injectively-path-connected
TVS-implies-injectively-path-connected
33s
TVS => injectively path connected compile #7295: Commit 65d2e3f pushed by Moniker1998
27s TVS-implies-injectively-path-connected
TVS-implies-injectively-path-connected
27s
Update P000221.md compile #7294: Commit 6391031 pushed by Moniker1998
18s Submetrizable-implies-Dieudonne-complete
Submetrizable-implies-Dieudonne-complete
18s