Skip to content

Merge pull request #249 from mobusoperandi/rm_agda_now #1008

Merge pull request #249 from mobusoperandi/rm_agda_now

Merge pull request #249 from mobusoperandi/rm_agda_now #1008

Triggered via push November 20, 2023 08:02
Status Success
Total duration 3m 6s
Artifacts 1

ci.yml

on: push
deploy-production
5s
deploy-production
deploy-preview
0s
deploy-preview
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
build_output_dir Expired
420 KB