Saffron CI

o1vm/lookup: add lookup prover until alpha #182

Sign in to view logs

Triggered via pull request February 5, 2025 14:09

marcbeunardeau88

synchronize #3000

marc/auxiliary_prover_rebased

Status Success

Total duration 1m 49s

Artifacts –

saffron.yml

on: pull_request

Matrix: Run saffron e2e tests