Skip to content
CI

Bump versions to agda-2.7.0/stdlib-2.1.1 #41

Sign in to view logs

Bump versions to agda-2.7.0/stdlib-2.1.1

Bump versions to agda-2.7.0/stdlib-2.1.1 #41

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-deploy
39s
39s