Skip to content
Check the Agda files

[Draft] Reintegrate Framework V2 into Framework V1 #39

Sign in to view logs

[Draft] Reintegrate Framework V2 into Framework V1

[Draft] Reintegrate Framework V2 into Framework V1 #39

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
14m 4s
14m 4s