Skip to content

Actions: pi-base/data

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,362 workflow runs
2,362 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
936 compile #7425: Commit 02d2ce4 pushed by prabau
22s quasicomponents
quasicomponents
22s
t934 compile #7424: Commit e33fb03 pushed by prabau
21s quasicomponents
quasicomponents
21s
t933 compile #7423: Commit 6326e8a pushed by prabau
26s quasicomponents
quasicomponents
26s
P247: Has connected quasicomponents compile #7422: Commit ee6bff7 pushed by prabau
24s quasicomponents
quasicomponents
24s
Update spaces/S000227/README.md compile #7421: Commit b552af8 pushed by JSMassmann
22s JSMassmann/NtimesR
JSMassmann/NtimesR
22s
Create P000101.md compile #7420: Commit 3a8d11a pushed by Moniker1998
16s S195-part-2
S195-part-2
16s
S195 part 1 of missing traits (#1839) compile #7419: Commit e8767d0 pushed by Moniker1998
25s S195-part-2
S195-part-2
25s
View it as primarily a product rather than primarily a disjoint union… compile #7418: Commit 2b3866c pushed by JSMassmann
17s JSMassmann/NtimesR
JSMassmann/NtimesR
17s
Fix typo and add compact and sigma-compact compile #7417: Commit eb782b7 pushed by JSMassmann
22s JSMassmann/NtimesR
JSMassmann/NtimesR
22s
Add S227 = R x N, and give it a few traits compile #7416: Commit f373e39 pushed by JSMassmann
27s JSMassmann/NtimesR
JSMassmann/NtimesR
27s
Knaster-Kuratowski fan has fixed point property (#1841) compile #7415: Commit d5fc1e8 pushed by prabau
23s main
main
23s
Knaster-Kuratowski fan has fixed point property compile #7414: Commit da8c36b pushed by prabau
15s s125-fixedpt
s125-fixedpt
15s
S195 part 1 of missing traits (#1839) compile #7413: Commit e8767d0 pushed by prabau
20s main
main
20s
Update spaces/S000195/properties/P000085.md compile #7412: Commit b0ec803 pushed by Moniker1998
23s S195-part-1
S195-part-1
23s
fixed P84 compile #7411: Commit 516247e pushed by Moniker1998
22s S195-part-1
S195-part-1
22s
Merge branch 'S195-part-1' of https://github.com/pi-base/data into S1… compile #7410: Commit 867476b pushed by Moniker1998
25s S195-part-1
S195-part-1
25s
Update spaces/S000195/README.md compile #7409: Commit 700dcdb pushed by Moniker1998
16s S195-part-1
S195-part-1
16s
Better ref for P168 (cid) (#1840) compile #7408: Commit 618a085 pushed by prabau
18s main
main
18s
remove omegaC alias compile #7407: Commit a761672 pushed by prabau
25s P168-better-ref
P168-better-ref
25s
new base for S195, new description for P93 compile #7406: Commit d6ac2fc pushed by Moniker1998
20s S195-part-1
S195-part-1
20s
Update spaces/S000195/properties/P000093.md compile #7405: Commit ff13d60 pushed by Moniker1998
27s S195-part-1
S195-part-1
27s
Update spaces/S000195/properties/P000024.md compile #7404: Commit b1f9c4b pushed by Moniker1998
22s S195-part-1
S195-part-1
22s
Update spaces/S000195/README.md compile #7403: Commit 6063d77 pushed by Moniker1998
33s S195-part-1
S195-part-1
33s
Better ref for P168 cid compile #7402: Commit b9243ba pushed by prabau
24s P168-better-ref
P168-better-ref
24s
Update P000024.md compile #7401: Commit 31d3247 pushed by Moniker1998
23s S195-part-1
S195-part-1
23s