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
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
P2 to P1 compile #7331: Commit 72fafbd pushed by Moniker1998
15s Mysior-plane
Mysior-plane
15s
P2 to P1 compile #7330: Commit 0321b8b pushed by Moniker1998
26s Mysior-plane
Mysior-plane
26s
add P2, remove MSE link from P61 compile #7329: Commit d1bbcb1 pushed by Moniker1998
14s Mysior-plane
Mysior-plane
14s
edit P93 compile #7328: Commit 1f28f95 pushed by Moniker1998
23s Mysior-plane
Mysior-plane
23s
Update spaces/S000215/properties/P000062.md compile #7327: Commit a39e489 pushed by Moniker1998
28s Mysior-plane
Mysior-plane
28s
Update spaces/S000215/properties/P000051.md compile #7326: Commit 07dfe4b pushed by Moniker1998
24s Mysior-plane
Mysior-plane
24s
Update spaces/S000215/properties/P000061.md compile #7325: Commit da45ec4 pushed by Moniker1998
23s Mysior-plane
Mysior-plane
23s
Update spaces/S000215/properties/P000050.md compile #7324: Commit 65da149 pushed by Moniker1998
25s Mysior-plane
Mysior-plane
25s