chore: bump agda #751

Triggered via pull request October 9, 2024 11:43

plt-amy

opened #435

aliao/bump-2024-10-09

Status Success

Total duration 8m 28s

Artifacts 1

preview.yml

on: pull_request

1 warning

No push credentials found. Ignoring the 'useDaemon' option.

Produced during runtime

Name	Size
pr-preview	9.1 MB