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
S215 Mysior plane compile #7332: Commit 4be839f pushed by prabau
23s Mysior-plane
Mysior-plane
23s
P2 to P1 compile #7331: Commit 72fafbd pushed by Moniker1998
15s Mysior-plane
Mysior-plane
15s
P2 to P1 compile #7330: Commit 0321b8b pushed by Moniker1998
26s Mysior-plane
Mysior-plane
26s
add P2, remove MSE link from P61 compile #7329: Commit d1bbcb1 pushed by Moniker1998
14s Mysior-plane
Mysior-plane
14s
edit P93 compile #7328: Commit 1f28f95 pushed by Moniker1998
23s Mysior-plane
Mysior-plane
23s
Update spaces/S000215/properties/P000062.md compile #7327: Commit a39e489 pushed by Moniker1998
28s Mysior-plane
Mysior-plane
28s
Update spaces/S000215/properties/P000051.md compile #7326: Commit 07dfe4b pushed by Moniker1998
24s Mysior-plane
Mysior-plane
24s
Update spaces/S000215/properties/P000061.md compile #7325: Commit da45ec4 pushed by Moniker1998
23s Mysior-plane
Mysior-plane
23s
Update spaces/S000215/properties/P000050.md compile #7324: Commit 65da149 pushed by Moniker1998
25s Mysior-plane
Mysior-plane
25s
Update spaces/S000215/README.md compile #7323: Commit 723bf09 pushed by Moniker1998
22s Mysior-plane
Mysior-plane
22s
Some traits for S174 (#1683) compile #7322: Commit 4c2efe6 pushed by Moniker1998
26s main
main
26s
Update P000051.md compile #7321: Commit 0261c84 pushed by Moniker1998
26s t6traits
t6traits
26s
feat: delete Lusing sets compile #7320: Commit 5f58c2c pushed by felixpernegger
28s removelusin
removelusin
28s
Spaces with a dispersion point are not cut point spaces (#1829) compile #7319: Commit b0894a8 pushed by felixpernegger
35s removelusin
removelusin
35s
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