Skip to content
Dafny Core verification

chore: Remove Dafny trigger warnings #852

Sign in to view logs

chore: Remove Dafny trigger warnings

chore: Remove Dafny trigger warnings #852

Triggered via pull request October 3, 2024 15:58
@seebeesseebees
opened #160
seebees:remove-warnings
Status Cancelled
Total duration 15s
Artifacts –

tests.yml

on: pull_request
Matrix: verification
Fit to window
Zoom out
Zoom in

Annotations

3 errors
verification (4.0.0) / reusable_verification (ubuntu-latest)
This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
verification (4.1.0) / reusable_verification (ubuntu-latest)
FailFast: cancelling since parallel instance has failed
verification (4.1.0) / reusable_verification (ubuntu-latest)
This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/