Deploy · VitalyAnkh/agda@de7f503

Triggered via workflow run December 15, 2023 01:27

pull[bot]

completed ⁠ de7f503

Status Failure

Total duration 15m 57s

Artifacts 3

deploy.yml

on: workflow_run

Matrix: build

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
Agda-nightly-linux.tar.xz Expired	12.8 MB
Agda-nightly-macOS.tar.xz Expired	14.2 MB
Agda-nightly-win64.zip Expired	31.2 MB