Extract, build, run

Merge pull request #13 from leanprover/PureDP #97

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via push May 29, 2024 16:54

jtristan

main

Status Success

Total duration 48m 38s

Artifacts –

test.yml

on: push