feat(Topology/GDelta/Basic): a set is meagre iff it's a countable union of nowhere dense sets #338286
Triggered via pull request
September 23, 2026 07:12
Ruben-VandeVelde
Ruben-VandeVelde
submitted
#43666
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
|
905 Bytes |
sha256:8ad7d5a6dff3db9bd73e35d8d66f976433d8cb60fcd788158ae0478437e9cd5b
|
|