Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: pi-base/data

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,391 workflow runs
3,391 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Completing S60 (pointed rational extension of R) (#1493) compile #5632: Commit 067173c pushed by prabau
30s main
main
30s
Futher suggestions compile #5631: Commit 044a0b8 pushed by pzjp
33s pzjp/s60
pzjp/s60
33s
Nested interval topology (S44) has no isolated point (P139) (#1499) compile #5630: Commit acdd78f pushed by prabau
34s main
main
34s
Divisor topology (S49) isn't semiregular (P10). (#1496) compile #5629: Commit 7115321 pushed by prabau
32s main
main
32s
Cozero complemented traits for various LOTS compile #5628: Commit cb98426 pushed by prabau
27s cozero-longray
cozero-longray
27s
Applying suggestions compile #5627: Commit c83958e pushed by pzjp
32s pzjp/s60
pzjp/s60
32s
Update spaces/S000060/properties/P000044.md compile #5626: Commit d2fe5c4 pushed by pzjp
18s pzjp/s60
pzjp/s60
18s
Cozero complemented P61 without Tychonoff (#1497) compile #5625: Commit e099a03 pushed by prabau
24s main
main
24s
Complete and fix locally compact of S112 (Nested rectangles) (#1492) compile #5624: Commit 317623c pushed by prabau
25s main
main
25s
Update spaces/S000112/properties/P000120.md compile #5623: Commit 382d0e8 pushed by yhx-12243
22s s112-fix
s112-fix
22s
typo compile #5622: Commit 5d5e07a pushed by prabau
24s cozero-bare
cozero-bare
24s
P15 changes compile #5621: Commit 0cd8fbb pushed by prabau
13s cozero-bare
cozero-bare
13s
Simplify description in P000120.md compile #5620: Commit 684e820 pushed by yhx-12243
20s s112-fix
s112-fix
20s
Fix P120 argument compile #5619: Commit 23c4e68 pushed by yhx-12243
22s s112-fix
s112-fix
22s
Update theorems/T000673.md compile #5618: Commit fab15c4 pushed by prabau
25s cozero-bare
cozero-bare
25s
Update properties/P000061.md compile #5617: Commit 77145e6 pushed by prabau
24s cozero-bare
cozero-bare
24s
Applying suggestions compile #5616: Commit 55e1cd3 pushed by pzjp
26s pzjp/s60
pzjp/s60
26s
Update spaces/S000112/properties/P000036.md compile #5615: Commit 51283b7 pushed by yhx-12243
28s s112-fix
s112-fix
28s
Cozero complemented P61 without Tychonoff compile #5614: Commit c62fa5d pushed by prabau
28s cozero-bare
cozero-bare
28s
cleanup, proofs compile #5613: Commit a1c9ee6 pushed by pzjp
23s pzjp/s60
pzjp/s60
23s
P32+P118+P110 compile #5612: Commit ad80fb6 pushed by pzjp
24s pzjp/s60
pzjp/s60
24s
Update to Thomas' plank (S91) (#1471) compile #5611: Commit 97235e7 pushed by pzjp
23s pzjp/s60
pzjp/s60
23s
Cozero complemented P61 without Tychonoff compile #5610: Commit c9f0ba5 pushed by prabau
30s cozero-bare
cozero-bare
30s
Cozero complemented P61 without Tychonoff compile #5609: Commit d5d10fd pushed by prabau
23s cozero-bare
cozero-bare
23s
Cozero complemented P61 without Tychonoff compile #5608: Commit 7460229 pushed by prabau
25s cozero-bare
cozero-bare
25s