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
Some traits for S125 Knaster-Kuratowski fan (#1830) compile #7368: Commit 68b1b11 pushed by Moniker1998
23s main
main
23s
P55 expand reasoning compile #7367: Commit 4626f80 pushed by prabau
24s s125-traits
s125-traits
24s
P55, P66 rewrite compile #7366: Commit 2338f3f pushed by prabau
30s s125-traits
s125-traits
30s
Update T000936.md compile #7365: Commit d101866 pushed by artemetra
23s t_d
t_d
23s
scattered => T_D compile #7364: Commit 9c3097e pushed by artemetra
13s t_d
t_d
13s
Merge remote-tracking branch 'origin/main' into t_d compile #7363: Commit 792c884 pushed by artemetra
23s t_d
t_d
23s
reindex compile #7362: Commit 02fea9b pushed by artemetra
25s t_d
t_d
25s
id compile #7361: Commit ef3e438 pushed by artemetra
18s t_d
t_d
18s
todo theorems compile #7360: Commit 0a4fbb8 pushed by artemetra
15s t_d
t_d
15s
Update spaces/S000125/properties/P000055.md compile #7359: Commit bbf9ecf pushed by Moniker1998
33s s125-traits
s125-traits
33s
More stuff on finitely many open sets (#1818) compile #7358: Commit 666f33c pushed by prabau
23s main
main
23s
Update P000208.md compile #7357: Commit b1c02cd pushed by artemetra
25s artem/finite-topology-2
artem/finite-topology-2
25s
Update theorems/T000929.md compile #7356: Commit 8b0d465 pushed by artemetra
26s artem/finite-topology-2
artem/finite-topology-2
26s
remove abbreviations compile #7355: Commit 8a66b99 pushed by artemetra
21s artem/finite-topology-2
artem/finite-topology-2
21s
Update theorems/T000931.md compile #7354: Commit ecabf0d pushed by artemetra
23s artem/finite-topology-2
artem/finite-topology-2
23s
add ref name compile #7353: Commit db4bf91 pushed by artemetra
26s t_d
t_d
26s
T_D introduction compile #7352: Commit 5f9bc42 pushed by artemetra
17s t_d
t_d
17s
cleanup compile #7351: Commit 62b0e94 pushed by artemetra
18s artem/finite-topology-2
artem/finite-topology-2
18s
draft T930, fix T931 and T929 compile #7350: Commit 8b0b608 pushed by artemetra
32s artem/finite-topology-2
artem/finite-topology-2
32s
draft proof of t929 compile #7349: Commit 9844d66 pushed by artemetra
21s artem/finite-topology-2
artem/finite-topology-2
21s
Mysior plane (#1423) compile #7348: Commit af10bc4 pushed by prabau
21s main
main
21s
Update spaces/S000215/properties/P000063.md compile #7347: Commit f325d68 pushed by Moniker1998
24s Mysior-plane
Mysior-plane
24s
Update spaces/S000215/properties/P000063.md compile #7346: Commit 72f4e24 pushed by Moniker1998
25s Mysior-plane
Mysior-plane
25s
Update spaces/S000215/properties/P000105.md compile #7345: Commit b5f414d pushed by Moniker1998
35s Mysior-plane
Mysior-plane
35s
P50 zero dimensional in terms of ind (#1834) compile #7344: Commit d7e7e22 pushed by felixpernegger
24s main
main
24s