Skip to content

Actions: pi-base/data

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,625 workflow runs
2,625 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add proof for T28 (#1710) compile #6814: Commit 5f61345 pushed by Moniker1998
22s main
main
22s
Hereditary traits for Converging sequence of non-Hausdorff spaces (S0… compile #6813: Commit 20f70ff pushed by prabau
20s main
main
20s
s171 p22 compile #6812: Commit 2d59ca2 pushed by felixpernegger
23s s171p22
s171p22
23s
Hereditary traits for Michael's product topology (S000077) (#1689) compile #6811: Commit 257aeae pushed by felixpernegger
24s s171p22
s171p22
24s
delete p48 for now compile #6810: Commit b0c34ce pushed by felixpernegger
24s t6traits
t6traits
24s
Update theorems/T000028.md compile #6809: Commit 97e4521 pushed by felixpernegger
38s t28proof
t28proof
38s
Update theorems/T000028.md compile #6808: Commit 5f4205d pushed by felixpernegger
19s t28proof
t28proof
19s
add proof compile #6807: Commit 3b0301c pushed by felixpernegger
22s t28proof
t28proof
22s
Hereditary traits for Michael's product topology (S000077) (#1689) compile #6806: Commit 257aeae pushed by felixpernegger
23s t28proof
t28proof
23s
simplify subspace compile #6805: Commit 8db1494 pushed by felixpernegger
22s s000186-hereditary-traits
s000186-hereditary-traits
22s
one more compile #6804: Commit afbf4b4 pushed by felixpernegger
23s doublespaces
doublespaces
23s
double spaces compile #6803: Commit d2837de pushed by felixpernegger
21s doublespaces
doublespaces
21s
Hereditary traits for Michael's product topology (S000077) (#1689) compile #6802: Commit 257aeae pushed by felixpernegger
24s doublespaces
doublespaces
24s
Hereditary traits for Michael's product topology (S000077) (#1689) compile #6801: Commit b1a6ac6 pushed by felixpernegger
28s subspaces
subspaces
28s
z compile #6800: Commit c9e3982 pushed by felixpernegger
24s subspaces
subspaces
24s
Hereditary traits for Michael's product topology (S000077) (#1689) compile #6799: Commit 257aeae pushed by prabau
20s main
main
20s
Hereditary traits for Integer broom (S000118) (#1694) compile #6798: Commit 82add61 pushed by prabau
21s main
main
21s
Hereditary traits for Modified telophase topology (S000192) (#1700) compile #6797: Commit e1c780e pushed by prabau
19s main
main
19s
Update spaces/S000077/properties/P000167.md compile #6796: Commit 79d8bf1 pushed by felixpernegger
19s s000077-hereditary-traits
s000077-hereditary-traits
19s
Update spaces/S000118/properties/P000147.md compile #6795: Commit d459df4 pushed by felixpernegger
22s s000118-hereditary-traits
s000118-hereditary-traits
22s
Update spaces/S000192/properties/P000046.md compile #6794: Commit 262ae42 pushed by felixpernegger
22s s000192-hereditary-traits
s000192-hereditary-traits
22s
Hereditary traits for S000218 (#1702) compile #6793: Commit c34344c pushed by prabau
21s main
main
21s
Hereditary traits for Product of long ray and continuum power of clos… compile #6792: Commit 5d6fbe3 pushed by felixpernegger
18s subspaces
subspaces
18s
tt compile #6791: Commit b73fb3b pushed by felixpernegger
22s subspaces
subspaces
22s
Hereditary traits for Product of long ray and continuum power of clos… compile #6790: Commit c2f1293 pushed by prabau
23s main
main
23s