.github/workflows/ci.yml

Update Lean to 4.10.0-rc1 #1181

Sign in to view logs

Triggered via pull request July 3, 2024 15:02

sonmarcho

opened #279

son/update-lean

Status Success

Total duration 45s

Artifacts –

ci.yml

on: pull_request

check_if_skip_duplicate_job

check-charon-pin