Skip to content
CI (Coq, docker)

Move unfolding of fst and snd earlier (#142) #41

Sign in to view logs

Move unfolding of fst and snd earlier (#142)

Move unfolding of fst and snd earlier (#142) #41

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-docker (dev, --warnings)
6m 1s
docker-check-all
1s
6m 2s