LeanAuto CI

Add `/warnVacuousProofs` option #457

Sign in to view logs

Triggered via pull request April 23, 2025 17:41

atomb

synchronize #1016

atomb:direct-vacuity-checks

Status Success

Total duration 6m 5s

Artifacts –

test-lean-auto.yml

on: pull_request