Final Agda 2.6.4 bump #1551

Triggered via push July 28, 2023 18:22

plt-amy

aliao/agda-2023-07-28

Status Success

Total duration 29m 24s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	59 MB