[Merged by Bors] - feat: set pp.mvars.anonymous false for MathlibTest
#307118
Triggered via pull request
July 24, 2026 13:22
joneugster
joneugster
submitted
#42016
Status
Success
Total duration
10s
Artifacts
1
maintainer_merge.yml
on: pull_request_review
Ping maintainers on Zulip
7s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
workflow-data
|
1.05 KB |
sha256:c1af63a2d3fb65b69cda21cc2e7842fa52c4154d8ebb143cfefc786ec67c4d71
|
|