Skip to content

Deploy

Deploy #97

Triggered via workflow run September 7, 2024 16:36
@uncle-bettyuncle-betty
completed 4f82f9b
Status Failure
Total duration 16m 43s
Artifacts 3

deploy.yml

on: workflow_run
auto-cancel
3s
auto-cancel
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error
deploy
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
Agda-nightly-4f82f9b-linux.tar.xz Expired
7.63 MB
Agda-nightly-4f82f9b-macOS.tar.xz Expired
21 MB
Agda-nightly-4f82f9b-win64.zip Expired
31.7 MB