Skip to content

Actions: pi-base/data

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

P85: Basically disconnected (#1206) compile #4166: Commit 3c78e80 pushed by prabau
January 22, 2025 23:43 27s main
main
January 22, 2025 23:43 27s
update T673 compile #4165: Commit 27f08a0 pushed by prabau
January 22, 2025 08:12 25s basic-discon
basic-discon
January 22, 2025 08:12 25s
Update properties/P000085.md compile #4164: Commit 84b085e pushed by prabau
January 21, 2025 19:21 18s basic-discon
basic-discon
January 21, 2025 19:21 18s
Update properties/P000049.md compile #4163: Commit d418bea pushed by prabau
January 21, 2025 19:20 20s basic-discon
basic-discon
January 21, 2025 19:20 20s
P85: Basically disconnected compile #4162: Commit 68500f3 pushed by prabau
January 21, 2025 18:50 25s basic-discon
basic-discon
January 21, 2025 18:50 25s
T697 compile #4161: Commit e12c6d0 pushed by prabau
January 21, 2025 07:34 18s basic-discon
basic-discon
January 21, 2025 07:34 18s
T696 compile #4160: Commit 2df5d3f pushed by prabau
January 21, 2025 07:04 25s basic-discon
basic-discon
January 21, 2025 07:04 25s
P85: Basically disconnected compile #4159: Commit 035ca50 pushed by prabau
January 21, 2025 03:28 18s basic-discon
basic-discon
January 21, 2025 03:28 18s
Update spaces/S000109/properties/P000049.md compile #4158: Commit f2941ff pushed by Moniker1998
January 19, 2025 15:18 25s Novak's-space-extremally-disconnected
Novak's-space-extremally-disconnected
January 19, 2025 15:18 25s
Strengthen T534 to countably compact (#1203) compile #4157: Commit 5f93a9d pushed by prabau
January 19, 2025 07:23 27s main
main
January 19, 2025 07:23 27s
Update theorems/T000534.md compile #4156: Commit 560b300 pushed by yhx-12243
January 19, 2025 07:03 26s strengthen-t534
strengthen-t534
January 19, 2025 07:03 26s
Strengthen T534 to countably compact compile #4155: Commit c558133 pushed by yhx-12243
January 19, 2025 03:26 28s strengthen-t534
strengthen-t534
January 19, 2025 03:26 28s
Adding theorem on connected strongly paracompact spaces (#1199) compile #4154: Commit be727d4 pushed by prabau
January 18, 2025 23:40 20s main
main
January 18, 2025 23:40 20s
introduction of the space and basic properties compile #4153: Commit 484a4aa pushed by Moniker1998
January 18, 2025 21:54 19s Katětov's-rational-sequence-topology
Katětov's-rational-sequence-topology
January 18, 2025 21:54 19s
is extremally disconnected compile #4152: Commit 8ccca7f pushed by Moniker1998
January 18, 2025 20:36 25s Novak's-space-extremally-disconnected
Novak's-space-extremally-disconnected
January 18, 2025 20:36 25s
Some missing traits for Radial intervals at 0 (S135) (#1191) compile #4151: Commit 87bd795 pushed by prabau
January 18, 2025 19:08 19s main
main
January 18, 2025 19:08 19s
mo 1 compile #4150: Commit 1931868 pushed by pzjp
January 18, 2025 13:40 21s pzjp/strongparacompact-thm
pzjp/strongparacompact-thm
January 18, 2025 13:40 21s
mo 2 compile #4149: Commit d17504c pushed by pzjp
January 18, 2025 13:40 17s pzjp/strongparacompact-thm
pzjp/strongparacompact-thm
January 18, 2025 13:40 17s
theorem 692 compile #4148: Commit 35d8f61 pushed by pzjp
January 18, 2025 11:37 27s pzjp/strongparacompact-thm
pzjp/strongparacompact-thm
January 18, 2025 11:37 27s
P166 "on X" compile #4147: Commit e54f207 pushed by pzjp
January 18, 2025 11:24 17s pzjp/s135-jan25
pzjp/s135-jan25
January 18, 2025 11:24 17s
Update S132 (Duncan's space) (#1192) compile #4146: Commit ee9acae pushed by pzjp
January 18, 2025 11:21 26s pzjp/strongparacompact-thm
pzjp/strongparacompact-thm
January 18, 2025 11:21 26s
P199 "\mapsto" compile #4145: Commit fa788af pushed by pzjp
January 18, 2025 07:52 23s pzjp/s135-jan25
pzjp/s135-jan25
January 18, 2025 07:52 23s
Mistake in P89 compile #4144: Commit 0e4f364 pushed by pzjp
January 18, 2025 07:52 21s pzjp/s135-jan25
pzjp/s135-jan25
January 18, 2025 07:52 21s
P132 fix compile #4143: Commit be8a533 pushed by pzjp
January 18, 2025 07:50 23s pzjp/s135-jan25
pzjp/s135-jan25
January 18, 2025 07:50 23s
Update S132 (Duncan's space) (#1192) compile #4142: Commit ee9acae pushed by prabau
January 18, 2025 03:23 24s main
main
January 18, 2025 03:23 24s