CI

Bump to Lean v4.9.0-rc1 with dependencies #55

Sign in to view logs

Triggered via pull request June 24, 2024 06:37

opened #87

4.9.0.1

Status Success

Total duration 24m 36s

Artifacts –

push_pr.yml

on: pull_request