LeanAuto CI

Add `/warnVacuousProofs` option #461

Sign in to view logs

Triggered via pull request April 28, 2025 21:12

atomb

synchronize #1016

atomb:direct-vacuity-checks

Status Success

Total duration 6m 2s

Artifacts –

test-lean-auto.yml

on: pull_request