Skip to content
Docker

2-coherence of truncation, newer Agda version, etc. #35

Sign in to view logs

2-coherence of truncation, newer Agda version, etc.

2-coherence of truncation, newer Agda version, etc. #35

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
55m 31s
55m 31s