Skip to content

Actions: pi-base/data

Actions

compile

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile.yml
2,500+ workflow runs
2,500+ workflow runs

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
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
Update spaces/S000215/properties/P000110.md compile #7343: Commit 58e4dab pushed by Moniker1998
31s Mysior-plane
Mysior-plane
31s
Merge branch 'Mysior-plane' of https://github.com/pi-base/data into M… compile #7342: Commit 8cf5620 pushed by Moniker1998
25s Mysior-plane
Mysior-plane
25s
T587 is redundant compile #7341: Commit e0d7a6b pushed by prabau
22s t587-redundant
t587-redundant
22s
Update spaces/S000215/properties/P000227.md compile #7340: Commit cdfd727 pushed by Moniker1998
19s Mysior-plane
Mysior-plane
19s
P50 zero dimensional in terms of ind compile #7339: Commit 2e261ff pushed by prabau
24s p50-ind
p50-ind
24s
Merge branch 'Mysior-plane' of https://github.com/pi-base/data into M… compile #7338: Commit 07ca27f pushed by Moniker1998
19s Mysior-plane
Mysior-plane
19s
replace P130 with P23 trait compile #7337: Commit da68c0c pushed by prabau
22s Mysior-plane
Mysior-plane
22s
P22 hereditary clopen compile #7336: Commit 283c4cb pushed by Moniker1998
35s Mysior-plane
Mysior-plane
35s
Update spaces/S000215/properties/P000051.md compile #7335: Commit 8ce9290 pushed by Moniker1998
23s Mysior-plane
Mysior-plane
23s
Fix reference for T836 (#1832) compile #7334: Commit 31cba92 pushed by felixpernegger
21s main
main
21s
Fix reference for T836 compile #7333: Commit 63395b6 pushed by prabau
25s t836-fix
t836-fix
25s
S215 Mysior plane compile #7332: Commit 4be839f pushed by prabau
23s Mysior-plane
Mysior-plane
23s