LeanAuto CI

Add `/warnVacuousProofs` option #451

Sign in to view logs

Triggered via pull request April 22, 2025 21:51

atomb

synchronize #1016

atomb:direct-vacuity-checks

Status Success

Total duration 6m 1s

Artifacts –

test-lean-auto.yml

on: pull_request