Merge pull request #25 from formosa-crypto/add-to-external-ci #63
JoaoDiogoDuarteamd64-linux.yml
on: push
check-safety
0s
check-sct
0s
extract-to-easycrypt
0s
compile-src
0s
test
0s
bench
0s
proof
0s
proof-runtest
0s
Annotations
8 errors
|
check-safety
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|
|
bench
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|
|
check-sct
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|
|
extract-to-easycrypt
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|
|
compile-src
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|
|
proof
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|
|
proof-runtest
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|
|
test
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|