This repository has been archived by the owner on Dec 11, 2024. It is now read-only.

B::C testsuite

Rename IsBool to upstream #155

Sign in to view logs

Triggered via push November 30, 2024 20:47

toddr

bc540

Status Failure

Total duration 32s

Artifacts –

bc-testsuite.yml

on: push

Matrix: cprove