lean4: 4.10.0 -> 4.12.0 #957472

Sign in to view logs

Triggered via pull request October 26, 2024 20:08

ofborg[bot]

labeled #351485

Status Skipped

Total duration 3s

Artifacts –

backport.yml

on: pull_request_target

Backport Pull Request