Skip to content
CI (Coq, Alpine)

switch GarageDoor to LeakageSemantics. we have to do this because #3

Sign in to view logs

switch GarageDoor to LeakageSemantics. we have to do this because

switch GarageDoor to LeakageSemantics. we have to do this because #3

Run time

Learn about OS pricing on GitHub Actions
Job Run time
alpine-edge
1h 36m 55s
publish-standalone
0s
test-standalone-${{ matrix.alpine }}
0s
alpine-check-all
1s
1h 36m 56s