add CI build with clang #132
Annotations
1 error and 4 warnings
|
Set up job
An error occurred while sending the request.
|
|
Set up job
Failed to download action 'https://api.github.com/repos/seL4/ci-actions/tarball/cdfeb1f95807b89c1062d4c59ce20077627162b5'. Error: The SSL connection could not be established, see inner exception.
|
|
Set up job
Back off 29.549 seconds before retry.
|
|
Set up job
Failed to download action 'https://api.github.com/repos/seL4/ci-actions/tarball/cdfeb1f95807b89c1062d4c59ce20077627162b5'. Error: An error occurred while sending the request.
|
|
Set up job
Back off 17.193 seconds before retry.
|
Loading