.github/workflows/ci.yml

rm agda now #1006

Sign in to view logs

Triggered via push November 20, 2023 07:57

mightyiam

rm_agda_now

Status Success

Total duration 3m 2s

Artifacts 1

ci.yml

on: push

deploy-production

Artifacts

Produced during runtime

Name	Size
build_output_dir Expired	420 KB