Back to pull request #23

Upgrade to Lean 4.6.1 #20

Sign in to view logs

Triggered via pull request March 8, 2024 09:10

opened #23

upgrade-to-lean-4.6.1

Status Success

Total duration 8m 38s

Artifacts –

pr.yml

on: pull_request

build-with-elan