Skip to content

Actions: pi-base/data

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,892 workflow runs
2,892 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

typos (#1623) compile #6346: Commit 9e4e601 pushed by felixpernegger
22s main
main
22s
preserved by disjoint unions compile #6345: Commit f5c8721 pushed by prabau
24s alphai-product
alphai-product
24s
Almost discrete toronto space is finite (#1620) compile #6344: Commit b1b4f34 pushed by prabau
17s main
main
17s
rename theorem compile #6343: Commit 8e75369 pushed by felixpernegger
24s torontoalmostdiscrete
torontoalmostdiscrete
24s
typo compile #6342: Commit 974fcac pushed by felixpernegger
21s torontotraits
torontotraits
21s
typo compile #6341: Commit 0c2f03e pushed by felixpernegger
18s torontotraits
torontotraits
18s
typo compile #6340: Commit 5ee3667 pushed by felixpernegger
18s torontotraits
torontotraits
18s
Toronto + Closed continuum sized discrete subset + card = c => Discre… compile #6339: Commit 213a70e pushed by felixpernegger
24s torontot0
torontot0
24s
Update spaces/S000017/properties/P000219.md compile #6338: Commit 6421519 pushed by felixpernegger
17s torontotraits
torontotraits
17s
Toronto + Closed continuum sized discrete subset + card = c => Discre… compile #6337: Commit 213a70e pushed by prabau
23s main
main
23s
traits compile #6336: Commit 3138802 pushed by felixpernegger
17s torontotraits
torontotraits
17s
Weakly First countable (#1616) compile #6335: Commit a8522a3 pushed by felixpernegger
25s torontotraits
torontotraits
25s
almost discrete toronto compile #6334: Commit f488ef2 pushed by felixpernegger
18s torontoalmostdiscrete
torontoalmostdiscrete
18s
Weakly First countable (#1616) compile #6333: Commit a8522a3 pushed by felixpernegger
23s torontoalmostdiscrete
torontoalmostdiscrete
23s
renumber theorem compile #6332: Commit ea2137c pushed by felixpernegger
22s toronto-extent
toronto-extent
22s
typo compile #6331: Commit 3aaf0cc pushed by felixpernegger
21s hereditarilyconnectedalpha
hereditarilyconnectedalpha
21s
t842 compile #6330: Commit 9c6eca4 pushed by felixpernegger
22s hereditarilyconnectedalpha
hereditarilyconnectedalpha
22s
Weakly First countable (#1616) compile #6329: Commit a8522a3 pushed by prabau
18s main
main
18s
Update theorems/T000840.md compile #6328: Commit b993473 pushed by felixpernegger
23s weaklyfirstcountable
weaklyfirstcountable
23s
Update theorems/T000626.md compile #6327: Commit 3e67ac8 pushed by felixpernegger
19s weaklyfirstcountable
weaklyfirstcountable
19s
Update theorems/T000309.md compile #6326: Commit 0248f19 pushed by felixpernegger
18s weaklyfirstcountable
weaklyfirstcountable
18s
rename T841 to T309 compile #6325: Commit 016ccd2 pushed by prabau
27s weaklyfirstcountable
weaklyfirstcountable
27s
no more iff compile #6324: Commit 58e0ba7 pushed by felixpernegger
28s weaklyfirstcountable
weaklyfirstcountable
28s
fix uid compile #6323: Commit 600c745 pushed by felixpernegger
27s toronto-extent
toronto-extent
27s
seconnd theorem for aleph 1 compile #6322: Commit 4eca820 pushed by felixpernegger
16s toronto-extent
toronto-extent
16s