Merge pull request #155 from Timrossid/feature/formal-verification-pr… #1
elizabetheonoja-artformal-verification.yml
on: push
formal-verification
2s
Annotations
1 error
|
formal-verification
This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v3`. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|