Skip to content
Check the Agda files

chore: exchange references to POPL with references to OOPSLA #96

Sign in to view logs

chore: exchange references to POPL with references to OOPSLA

chore: exchange references to POPL with references to OOPSLA #96

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 3s
2m 3s