Skip to content

chore(GHA): fix test vector dafny interop (#1291) #3326

chore(GHA): fix test vector dafny interop (#1291)

chore(GHA): fix test vector dafny interop (#1291) #3326

Triggered via push August 20, 2024 20:10
Status Success
Total duration 1m 21s
Artifacts 1

ci_duvet.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
duvet
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Artifacts

Produced during runtime
Name Size Digest
specification_compliance_report Expired
274 KB
sha256:e1194b04c8bc673e0cc1d020e9e632b6f57d9ab707a64e69ed51123b59fd41d4