fix: handle interrupt correctly #90
soraweedocker-image.yml
on: pull_request
test-solve-with-z3
1m 24s
test-solve-with-cvc5
1m 24s
performance-test
1m 43s
Publish Docker image to DockerHub
0s
Annotations
5 errors and 2 warnings
|
test-solve-with-cvc5
couldn't find remote ref refs/pull/30/merge
|
|
test-solve-with-cvc5
couldn't find remote ref refs/pull/30/merge
|
|
test-solve-with-cvc5
couldn't find remote ref refs/pull/30/merge
|
|
test-solve-with-cvc5
Git fetch failed with exit code: 128
|
|
test-solve-with-cvc5
Exit code 1 returned from process: file name '/home/runner/runners/2.308.0/bin/Runner.PluginHost', arguments 'action "GitHub.Runner.Plugins.Repository.v1_0.CheckoutTask, Runner.Plugins"'.
|
|
test-solve-with-cvc5
Git fetch failed with exit code 128, back off 1.855 seconds before retry.
|
|
test-solve-with-cvc5
Git fetch failed with exit code 128, back off 9.232 seconds before retry.
|