Fix return annotations #108
Triggered via pull request
February 4, 2025 19:57
vbgl
Status
Failure
Total duration
1d 12h 39m 23s
Artifacts
–
amd64-linux.yml
on: pull_request
check-safety
0s
check-sct
0s
extract-to-easycrypt
0s
compile-src
0s
Annotations
4 errors
|
check-safety
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.
|