Test Release Downloads

Dafny 4.8.0 #1085

Sign in to view logs

Triggered via release August 29, 2024 14:10

MikaelMayer

published v4.8.0

Status Failure

Total duration 1m 17s

Artifacts –

release-downloads.yml

on: release

Matrix: build

Annotations

2 errors

build (ubuntu-20.04)

Process completed with exit code 1.

build (ubuntu-latest)

Process completed with exit code 1.