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
add proof for T1 (#1723) compile #6858: Commit 90da508 pushed by felixpernegger
23s kolmoquotient
kolmoquotient
23s
add proof for T1 (#1723) compile #6857: Commit 90da508 pushed by prabau
20s main
main
20s
add proof compile #6856: Commit 611e050 pushed by felixpernegger
21s addprooft1
addprooft1
21s
Update S77 (Michael's product topology) (#1713) compile #6855: Commit 993ca15 pushed by felixpernegger
20s addprooft1
addprooft1
20s
Upgrades T847 to 'locally euclidean => locally contractible' compile #6854: Commit c5fcb4e pushed by GeoffreySangston
17s locally-contractible-init
locally-contractible-init
17s
Added missing 'contractible implies weakly locally contractible' compile #6853: Commit 84c0735 pushed by GeoffreySangston
21s locally-contractible-init
locally-contractible-init
21s
Adjustments compile #6852: Commit f79e2b1 pushed by GeoffreySangston
22s locally-contractible-init
locally-contractible-init
22s
Initial commit of locally contractible properties compile #6851: Commit e4e590d pushed by GeoffreySangston
21s locally-contractible-init
locally-contractible-init
21s
Update S77 (Michael's product topology) (#1713) compile #6850: Commit 993ca15 pushed by GeoffreySangston
23s locally-contractible-init
locally-contractible-init
23s
Update S77 (Michael's product topology) (#1713) compile #6849: Commit 993ca15 pushed by prabau
24s main
main
24s
compile compile #6848: by felixpernegger
45s completings209
completings209
45s
nonempty compile #6847: Commit 7215bdb pushed by felixpernegger
23s workons181
workons181
23s
update description × compile #6846: Commit 28ec1d3 pushed by yhx-12243
22s s77
s77
22s
P62 hered. factor compile #6845: Commit 2b4f18d pushed by yhx-12243
22s s77
s77
22s
P206 box products compile #6844: Commit add4062 pushed by yhx-12243
21s s77
s77
21s
wrong uid compile #6843: Commit 96839c9 pushed by felixpernegger
24s s136scattered
s136scattered
24s
s136 scattered compile #6842: Commit 1e970e1 pushed by felixpernegger
13s s136scattered
s136scattered
13s
Add proof for T28 (#1710) compile #6841: Commit 5f61345 pushed by felixpernegger
23s s136scattered
s136scattered
23s
t compile #6840: Commit 15fdd1f pushed by felixpernegger
37s subspaces
subspaces
37s
trait compile #6839: Commit 2cf7c3b pushed by felixpernegger
21s workons181
workons181
21s
Add proof for T28 (#1710) compile #6838: Commit 5f61345 pushed by felixpernegger
23s workons181
workons181
23s
t compile #6837: Commit d55d254 pushed by felixpernegger
18s subspaces
subspaces
18s
traits compile #6836: Commit b768e30 pushed by felixpernegger
19s works130
works130
19s
Add proof for T28 (#1710) compile #6835: Commit 5f61345 pushed by felixpernegger
20s works130
works130
20s
redundant - compile #6834: Commit 9618452 pushed by felixpernegger
28s s171p22
s171p22
28s