Adds the Carcara proof checker infrastructure (#10529) #1882

Sign in to view logs

Triggered via push August 21, 2024 20:52

HanielB

main

Status Success

Total duration 20m 10s

Artifacts 1

ci.yml

on: push

Matrix: builds

Artifacts

Produced during runtime

Name	Size
documentation	4.83 MB