PR Preview

chore: bump agda #727

Triggered via pull request September 10, 2024 21:29

plt-amy

opened #430

aliao/bump

Status Success

Total duration 6m 34s

Artifacts 1

preview.yml

on: pull_request

1 warning

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

Produced during runtime

Name	Size
pr-preview Expired	8.98 MB