Add script to download setup data #1

Sign in to view logs

Summary
Jobs
- generate
Run details
- Usage
- Workflow file

Triggered via push October 18, 2023 19:33

jrchatruc

improve-prover-setup

Status Failure

Total duration 1d 0h 23m 27s

Artifacts –

coverage.yml

on: push

Annotations

1 error

This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.