Skip to content

Actions: pi-base/data

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tt compile #6352: Commit 8ad9049 pushed by felixpernegger
21s typotheorems
typotheorems
21s
fixx compile #6351: Commit 5292eee pushed by felixpernegger
22s typotheorems
typotheorems
22s
more fix compile #6350: Commit 19bcf74 pushed by felixpernegger
19s typotheorems
typotheorems
19s
fix compile #6349: Commit 200a2d1 pushed by felixpernegger
27s typotheorems
typotheorems
27s
typos theorems compile #6348: Commit a816191 pushed by felixpernegger
15s typotheorems
typotheorems
15s
typos (#1623) compile #6347: Commit 9e4e601 pushed by felixpernegger
27s typotheorems
typotheorems
27s
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