chore: bump agda · the1lab/1lab@58f342b

Triggered via pull request April 3, 2026 17:21

plt-amy

opened #618

aliao/bump-2026-04-03

Status Success

Total duration 4m 45s

Artifacts 1

preview.yml

on: pull_request

Produced during runtime

Name	Size	Digest
pr-preview	11 MB	`sha256:c7915c2a9d187ba2e8311b499b1cc5a60cf63d6b3963d3de7360f75954d64a28`