CI Lint and Checks

regroup optionals in proofs #2849

Sign in to view logs

Triggered via pull request October 4, 2024 08:53

mayeul-zama

opened #1631

mz/regroup_optionals_in_proofs

Status Success

Total duration 20s

Artifacts –

ci_lint.yml

on: pull_request

Lint and checks