Merge branch 'main' into aliao/agda-2023-07-28 #1553

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push July 28, 2023 18:57

plt-amy

aliao/agda-2023-07-28

Status Success

Total duration 11m 2s

Artifacts –

build.yml

on: push