Deploy · pnlph/agda@7a40be8

Triggered via workflow run September 16, 2023 07:22

pnlph

completed ⁠ 7a40be8

Status Failure

Total duration 23m 28s

Artifacts 3

deploy.yml

on: workflow_run

Matrix: build

1 error and 2 warnings

Process completed with exit code 1.

Input 'file' has been deprecated with message: Prefer "files" supporting globs instead of "file"

Input 'file' has been deprecated with message: Prefer "files" supporting globs instead of "file"

Produced during runtime

Name	Size
Agda-nightly-linux.tar.xz Expired	13.5 MB
Agda-nightly-macOS.tar.xz Expired	14.7 MB
Agda-nightly-win64.zip Expired	28.5 MB