Extract, build, run

Merge pull request #11 from leanprover/Upgrade #55

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 49m 28s

Artifacts –

test.yml

on: push