Skip to content
Cryptol

Add check and prove steps to CI #294

Sign in to view logs

Add check and prove steps to CI

Add check and prove steps to CI #294

Triggered via pull request January 19, 2024 14:43
@carralacarrala
synchronize #70
carrala:update-ci
Status Failure
Total duration 51m 58s
Artifacts –

ci.yml

on: pull_request
load
1m 22s
load
check
6m 37s
check
prove
43m 37s
prove
Fit to window
Zoom out
Zoom in

Annotations

2 errors
prove
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
prove
Process completed with exit code 137.