Cryptol

Add check and prove steps to CI #299

Sign in to view logs

Triggered via pull request January 22, 2024 14:16

carrala

synchronize #70

carrala:update-ci

Status Failure

Total duration 1h 22m 15s

Artifacts –

ci.yml

on: pull_request

Annotations

2 errors

The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.

Process completed with exit code 137.