Add proof:kind spelling for proof directives and ref role #5153
stefanvci.yml
on: pull_request
lint
1m 9s
Running test docs build
2m 6s
Matrix: test