o1vm: simplify types in proof and prover #635

Sign in to view logs

Triggered via pull request November 1, 2024 18:13

synchronize #2740

dw/simplify-types-o1vm

Status Success

Total duration 34m 14s

Artifacts –

ci.yml

on: pull_request

Matrix: Run checks and tests

Matrix: Formatting

Matrix: Building MDBook