feat: rename the proof assistant to Rocq #31
clarus
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
pull-request-title.yml
on: pull_request_target
Validate PR title is Conventional Commit
4s
Warn external contributors about force-pushing
3s
Annotations
1 error
|
Validate PR title is Conventional Commit
Unknown release type "doc" found in pull request title "doc: rename the proof assistant to Rocq".
Available types:
- fix
- feat
- chore
|