feat(smithydotnet): add dependency error from localservice trait #975
Triggered via pull request
September 20, 2023 21:31
Status
Success
Total duration
2m 27s
Artifacts
–
test_models_dafny_verification.yml
on: pull_request
Matrix: verification
Annotations
23 warnings