Saffron CI

o1vm/lookup: add expressions for lookup constraint #174

Sign in to view logs

Triggered via pull request February 4, 2025 17:47

marcbeunardeau88

synchronize #3001

marc/lookup_prover_columns

Status Success

Total duration 2m 14s

Artifacts –

saffron.yml

on: pull_request

Matrix: Run saffron e2e tests