Merge pull request #11 from leanprover/Upgrade #63

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via push May 22, 2024 12:59

jtristan

main

Status Success

Total duration 1h 2m 50s

Artifacts –

lean_build.yml

on: push