Skip to content

Actions: pi-base/data

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update spaces/S000061/properties/P000205.md compile #6420: Commit 66446c3 pushed by pzjp
17s pzjp/s61feb26
pzjp/s61feb26
17s
P86 compile #6419: Commit 07ed28d pushed by pzjp
22s pzjp/s61feb26
pzjp/s61feb26
22s
cleanup compile #6418: Commit fd11a95 pushed by pzjp
21s pzjp/s61feb26
pzjp/s61feb26
21s
P71 compile #6417: Commit 9f7db7c pushed by pzjp
22s pzjp/s61feb26
pzjp/s61feb26
22s
more props compile #6416: Commit 2ea120b pushed by pzjp
23s pzjp/s61feb26
pzjp/s61feb26
23s
P206 compile #6415: Commit d423eb9 pushed by pzjp
27s pzjp/s61feb26
pzjp/s61feb26
27s
Countable box product of reals has a coarser separable metrizable top… compile #6414: Commit 513be91 pushed by pzjp
18s pzjp/s61feb26
pzjp/s61feb26
18s
add "called" compile #6413: Commit ce2aecb pushed by felixpernegger
24s tychnonofftheorem
tychnonofftheorem
24s
tychnoff theorem compile #6412: Commit 2b5d942 pushed by felixpernegger
23s tychnonofftheorem
tychnonofftheorem
23s
Countable box product of reals has a coarser separable metrizable top… compile #6411: Commit 513be91 pushed by felixpernegger
19s tychnonofftheorem
tychnonofftheorem
19s
Countable box product of reals has a coarser separable metrizable top… compile #6410: Commit 513be91 pushed by felixpernegger
18s tychonofftheorem
tychonofftheorem
18s
Countable box product of reals has a coarser separable metrizable top… compile #6409: Commit 513be91 pushed by felixpernegger
23s tychonofftheorem
tychonofftheorem
23s
add remark compile #6408: Commit e25b66e pushed by felixpernegger
20s simplyconnectednonempty
simplyconnectednonempty
20s
simply connected nonempty compile #6407: Commit 54e17d1 pushed by felixpernegger
20s simplyconnectednonempty
simplyconnectednonempty
20s
Discrete space of size $2 ^ \mathfrak{c}$ (#1631) compile #6406: Commit 7777e7e pushed by felixpernegger
29s simplyconnectednonempty
simplyconnectednonempty
29s
Countable box product of reals has a coarser separable metrizable top… compile #6405: Commit 513be91 pushed by prabau
26s main
main
26s
Right ray topologies on omega_1 compile #6404: Commit 392f6b8 pushed by prabau
19s rightray-omega1
rightray-omega1
19s
S221 more compile #6403: Commit ebf29d8 pushed by prabau
17s rightray-omega1
rightray-omega1
17s
P26, P201-P202 remove compile #6402: Commit c7bf2bd pushed by prabau
28s rightray-omega1
rightray-omega1
28s
Right ray topologies on omega_1 compile #6401: Commit 002acf5 pushed by prabau
25s rightray-omega1
rightray-omega1
25s
Discrete space of size $2 ^ \mathfrak{c}$ (#1631) compile #6400: Commit 7777e7e pushed by prabau
20s main
main
20s
Update spaces/S000219/README.md compile #6399: Commit ac8c985 pushed by felixpernegger
24s discretespacebig
discretespacebig
24s
Even more typos found by Claude Code (#1632) compile #6398: Commit eec4ec6 pushed by prabau
16s main
main
16s
Update spaces/S000101/properties/P000006.md compile #6397: Commit 5e55e60 pushed by felixpernegger
17s typosagain
typosagain
17s
Update spaces/S000095/properties/P000016.md compile #6396: Commit 0f25a25 pushed by felixpernegger
20s typosagain
typosagain
20s