Skip to content

Add standard-library 2.1.1-rc2 #15

Add standard-library 2.1.1-rc2

Add standard-library 2.1.1-rc2 #15

Triggered via push August 20, 2024 13:09
Status Success
Total duration 10m 38s
Artifacts

populate.yml

on: push
Matrix: agda-version
Fit to window
Zoom out
Zoom in