Final Agda 2.6.4 bump (#243) #1555

Triggered via push July 28, 2023 19:09

plt-amy

main

Status Success

Total duration 25m 33s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	59.6 MB