Skip to content
Pull Request

Draft: Add Coq to the CI #5

Sign in to view logs

Draft: Add Coq to the CI

Draft: Add Coq to the CI #5

Triggered via pull request October 30, 2024 20:34
@clarusclarus
synchronize #2
Status Failure
Total duration 12s
Artifacts –

pull-request-title.yml

on: pull_request_target
Validate PR title is Conventional Commit
3s
Validate PR title is Conventional Commit
Warn external contributors about force-pushing
3s
Warn external contributors about force-pushing
Fit to window
Zoom out
Zoom in

Annotations

1 error
Validate PR title is Conventional Commit
Unknown release type "Draft" found in pull request title "Draft: Add Coq to the CI". Available types: - fix - feat - chore