CI

fixed `mem_value_indt_eq_induction` proof #193

Sign in to view logs

Triggered via push November 16, 2023 18:46

vzaliva

revocation-proofs

Status Failure

Total duration 3m 59s

Artifacts –

ci.yml

on: push

Matrix: build

Annotations

1 error

build (4.14.1)

Process completed with exit code 31.