Build & Test

CI: run more examples proofs #295

Sign in to view logs

Triggered via pull request December 18, 2025 23:23

ahelwer

opened #246

ahelwer:ci-example-proofs

Status Success

Total duration 49m 43s

Artifacts –

ci.yml

on: pull_request

Matrix: Build & Test