Skip to content
CI (Coq, docker, dev)

update to a rupicola/bedrock2 where wp is complete wrt exec #641

Sign in to view logs

update to a rupicola/bedrock2 where wp is complete wrt exec

update to a rupicola/bedrock2 where wp is complete wrt exec #641

Run time

Learn about OS pricing on GitHub Actions
Job Run time
master
3h 25m 6s
test-amd64
3h 25m 55s
6h 51m 1s