Warning for missing "Proof" command and error on duplicate or late "Proof" #21865
coqbot-app / GitLab CI job library:ci-bedrock2 (pull request)
succeeded
Apr 30, 2026 in 0s
Test succeeded on GitLab CI after being retried
Loading