feat(TestModels): ExternV2 #29
pull.yml
on: pull_request
pr-populate-dafny-versions
0s
Matrix: pr-ci-java
Matrix: pr-ci-net
Waiting for pending jobs
Matrix: pr-ci-verification
Annotations
2 errors and 109 warnings