.github/workflows/pr.yml

Upgrade Lean to v4.5.0 #17

Sign in to view logs

Triggered via pull request February 2, 2024 07:22

opened #20

upgrade-to-4.5.0

Status Success

Total duration 8m 44s

Artifacts –

pr.yml

on: pull_request

build-with-elan