Skip to content
CI

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

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 #39

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-deploy
35s
build-deploy
41s
1m 16s