wip: src/ Makefiles cleanup + workflow to check src/ with Dockerfile … #1
Rixxcamd64-linux.yml
on: push
check-safety
0s
check-sct
0s
extract-to-easycrypt
0s
compile-src
0s
Annotations
4 errors
|
compile-src
The run was canceled.
|
|
check-sct
The run was canceled.
|
|
check-safety
The run was canceled.
|
|
extract-to-easycrypt
The run was canceled.
|