chore: prefer contrapose over contrapose!, when possible · leanprover-community/mathlib4@dc74f66

Triggered via pull request September 20, 2026 19:34

grunweg

synchronize #43999

Status Success

Total duration 40s

Artifacts 1

commit_verification.yml

on: pull_request

1 notice

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

Produced during runtime

Name	Size	Digest
workflow-data	1.03 KB	`sha256:a609366d2ad3f0371d85573b839d7c6da0b151682d91f8d250baf197ba1525bc`