Skip to content

Actions: pi-base/data

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,013 workflow runs
3,013 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

T701: result about connected door spaces (#1231) compile #4240: Commit ec4a955 pushed by prabau
February 10, 2025 05:42 23s main
main
February 10, 2025 05:42 23s
Strengthen T172 to Strongly Choquet (#1232) compile #4239: Commit 8142988 pushed by prabau
February 10, 2025 05:37 25s main
main
February 10, 2025 05:37 25s
Update theorems/T000172.md compile #4238: Commit 048210c pushed by yhx-12243
February 10, 2025 05:37 17s strengthen-t172
strengthen-t172
February 10, 2025 05:37 17s
Strengthen T172 to Strongly Choquet compile #4237: Commit 3a82142 pushed by yhx-12243
February 10, 2025 05:09 21s strengthen-t172
strengthen-t172
February 10, 2025 05:09 21s
T701: result about connected door spaces compile #4236: Commit 3d2858f pushed by prabau
February 10, 2025 04:38 17s door-connected-thm
door-connected-thm
February 10, 2025 04:38 17s
T701: result about connected door spaces compile #4235: Commit 5dcaabb pushed by prabau
February 10, 2025 04:30 21s door-connected-thm
door-connected-thm
February 10, 2025 04:30 21s
P126 for S51 compile #4234: Commit 99c8705 pushed by pzjp
February 9, 2025 20:34 19s pzjp/s86-feb25
pzjp/s86-feb25
February 9, 2025 20:34 19s
P200 compile #4233: Commit 7d5aeeb pushed by pzjp
February 9, 2025 18:35 17s pzjp/s86-feb25
pzjp/s86-feb25
February 9, 2025 18:35 17s
"countably many families" compile #4232: Commit d99445b pushed by pzjp
February 9, 2025 18:29 17s pzjp/s86-feb25
pzjp/s86-feb25
February 9, 2025 18:29 17s
removed Door (due to T700) compile #4231: Commit b4a9c62 pushed by pzjp
February 9, 2025 18:24 22s pzjp/s86-feb25
pzjp/s86-feb25
February 9, 2025 18:24 22s
T700: door + not anticompact => almost discrete (#1229) compile #4230: Commit 589977e pushed by danflapjax
February 9, 2025 09:03 24s main
main
February 9, 2025 09:03 24s
T700: door + not anticompact => almost discrete compile #4229: Commit 5b575ae pushed by prabau
February 9, 2025 05:30 19s door-not-anticompact
door-not-anticompact
February 9, 2025 05:30 19s
cleanup (p18,p99) compile #4228: Commit 17b3437 pushed by pzjp
February 8, 2025 17:21 17s pzjp/s86-feb25
pzjp/s86-feb25
February 8, 2025 17:21 17s
p117 compile #4227: Commit 38ae84c pushed by pzjp
February 8, 2025 14:43 17s pzjp/s86-feb25
pzjp/s86-feb25
February 8, 2025 14:43 17s
p126 compile #4226: Commit 3824bfb pushed by pzjp
February 8, 2025 14:16 24s pzjp/s86-feb25
pzjp/s86-feb25
February 8, 2025 14:16 24s
p44 compile #4225: Commit 69a6042 pushed by pzjp
February 8, 2025 14:14 15s pzjp/s86-feb25
pzjp/s86-feb25
February 8, 2025 14:14 15s
p204 compile #4224: Commit 9c057bd pushed by pzjp
February 8, 2025 14:10 18s pzjp/s86-feb25
pzjp/s86-feb25
February 8, 2025 14:10 18s
Trait cleanup related to T698 (#1224) compile #4223: Commit 2375561 pushed by pzjp
February 8, 2025 14:06 18s pzjp/s86-feb25
pzjp/s86-feb25
February 8, 2025 14:06 18s
try introducing false trait compile #4222: Commit fe7a722 pushed by StevenClontz
February 5, 2025 21:26 16s StevenClontz/impossible-test
StevenClontz/impossible-test
February 5, 2025 21:26 16s
Trait cleanup related to T698 (#1224) compile #4221: Commit 2375561 pushed by StevenClontz
February 5, 2025 21:25 17s StevenClontz/impossible-test
StevenClontz/impossible-test
February 5, 2025 21:25 17s
Trait cleanup related to T698 (#1224) compile #4220: Commit 2375561 pushed by pzjp
February 2, 2025 20:56 18s main
main
February 2, 2025 20:56 18s
Merge remote-tracking branch 'origin/main' into embeddable compile #4219: Commit 0879759 pushed by yhx-12243
February 2, 2025 10:04 24s pr990
pr990
February 2, 2025 10:04 24s
S155/S157: Fortissimo spaces of size aleph_1 and aleph_2 (#1225) compile #4218: Commit 5295f4d pushed by prabau
February 2, 2025 02:25 22s main
main
February 2, 2025 02:25 22s
S22 README referring to the other spaces compile #4217: Commit 708ae1c pushed by prabau
February 1, 2025 19:47 15s fortissimo-variant
fortissimo-variant
February 1, 2025 19:47 15s
S155/S157: Fortissimo spaces of size aleph_1 and aleph_2 compile #4216: Commit 28ca60a pushed by prabau
February 1, 2025 07:25 22s fortissimo-variant
fortissimo-variant
February 1, 2025 07:25 22s