feat: rename the proof assistant to Rocq #36
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
2s
Warn external contributors about force-pushing
3s