chore: support documentation trait in Rust #1662
You are viewing an older attempt in the history of this workflow run.
View latest attempt.
pull.yml
on: pull_request
pr-populate-dafny-versions
0s
Matrix: pr-ci-java
Matrix: pr-ci-net
Matrix: pr-ci-python
Matrix: pr-ci-rust
Matrix: pr-ci-verification
pr-ci-all-required
2s
Annotations
2 errors and 255 warnings