lean4: 4.10.0 -> 4.12.0 #957474
Triggered via pull request
October 26, 2024 20:08
ofborg[bot]
labeled
#351485
Status
Skipped
Total duration
1s
Artifacts
–
backport.yml
on: pull_request_target
Backport Pull Request
0s