Skip to content

Deploy

Deploy #19

Triggered via workflow run April 12, 2024 15:02
@JobPetrovcicJobPetrovcic
completed b430f9d
Status Success
Total duration 21m 24s
Artifacts 3

deploy.yml

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

Artifacts

Produced during runtime
Name Size
Agda-nightly-linux.tar.xz Expired
12.8 MB
Agda-nightly-macOS.tar.xz Expired
14.1 MB
Agda-nightly-win64.zip Expired
30.9 MB