Test Release Downloads

Dafny 4.8.1 #1086

Sign in to view logs

Triggered via release September 16, 2024 19:11

keyboardDrummer

published v4.8.1

Status Failure

Total duration 1m 1s

Artifacts –

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

release-downloads.yml

on: release

Matrix: build

Annotations

2 errors

build (ubuntu-latest)

Process completed with exit code 1.

build (ubuntu-20.04)

Process completed with exit code 1.