Nightly Dafny Core verification #77

Triggered via schedule June 16, 2023 10:23

master

Status Success

Total duration 9m 41s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

nightly.yml

on: schedule

Matrix: verification

2 errors

Unexpected HTTP response: 404

Process completed with exit code 1.

Produced during runtime

Name	Size
verification-results Expired	22.5 MB