Skip to content

Release for agda 2.6.4.1 #2303

Release for agda 2.6.4.1

Release for agda 2.6.4.1 #2303

Triggered via pull request January 22, 2024 16:41
Status Success
Total duration 2m 41s
Artifacts

ci-ubuntu.yml

on: pull_request
Fit to window
Zoom out
Zoom in