chore: bump agda #3098

Re-run triggered September 10, 2024 19:58

plt-amy

aliao/bump

Status Success

Total duration 24m 46s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	13.7 MB