Remove proof printing (#694) #243

Sign in to view logs

Triggered via push November 23, 2023 19:08

github-merge-queue[bot]

main

Status Success

Total duration 18m 21s

Artifacts –

criterion_benchs.yml

on: push

Criterion benches (Ubuntu)

Criterion benches (macOS, Apple sillicon)