Skip to content

Merge pull request #1465 from Atry/patch-7 #3094

Merge pull request #1465 from Atry/patch-7

Merge pull request #1465 from Atry/patch-7 #3094

Annotations

1 error and 1 warning

lean4 (self-hosted,linux,X64)

failed Oct 15, 2024 in 10s. View latest attempt.