Skip to content
CI (Coq, MacOS)

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

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 #3672

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-macos
25m 55s
25m 55s