continuous build,gnu: add nucleo wb55 autotest to build #47
Annotations
1 error and 1 warning
run_framac
Canceling since a higher priority waiting request for 'Sentry kernel proof with Frama-C-refs/heads/add-smt32wb-soc-family' exists
|
run_framac
Docker pull failed with exit code 1, back off 9.569 seconds before retry.
|