PR Preview

chore: bump agda #663

Triggered via pull request July 16, 2024 02:19

plt-amy

synchronize #409

aliao/bump-2024-07

Status Success

Total duration 1m 30s

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.66 MB