feat(Topology/Baire/Lemmas): a space is Baire iff countable unions of closed nowhere dense sets have empty interior #338287
Triggered via pull request
September 23, 2026 07:14
Ruben-VandeVelde
Ruben-VandeVelde
submitted
#43665
Status
Success
Total duration
42s
Artifacts
1
maintainer_merge.yml
on: pull_request_review
Ping maintainers on Zulip
4s
Annotations
1 notice
|
Ping maintainers on Zulip
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
workflow-data
|
922 Bytes |
sha256:4ce883ef5364d706c0eb98f46821dcd0565e179a971193cb619a93da36873550
|
|