fix(Topology/Baire/Lemmas): the Baire property is not Baire's theorem #338285
Triggered via pull request
September 23, 2026 07:12
Ruben-VandeVelde
Ruben-VandeVelde
submitted
#43667
Status
Success
Total duration
8s
Artifacts
1
maintainer_merge.yml
on: pull_request_review
Ping maintainers on Zulip
5s
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
|
881 Bytes |
sha256:1a0aa750eae7ecf5fa7dfd5e3da50eae4e87850b23f410e6f9aa158fd0983916
|
|