Saffron CI

o1vm/lookup: add lookup prover until alpha #181

Sign in to view logs

Triggered via pull request February 5, 2025 13:53

marcbeunardeau88

synchronize #3000

marc/auxiliary_prover_rebased

Status Success

Total duration 9m 28s

Artifacts –

saffron.yml

on: pull_request

Matrix: Run saffron e2e tests