Skip to content

fix: make #check_failure's output be info #7847

fix: make #check_failure's output be info

fix: make #check_failure's output be info #7847

Annotations

1 warning

check-lean-files

succeeded Jan 18, 2025 in 22s