wip: src/ Makefiles cleanup + workflow to check src/ with Dockerfile … #103
tfaoliveiraamd64-linux.yml
on: push
extract-src
16s
check-safety
9s
check-sct
8s
extract-to-easycrypt
8s
compile-src
8s
Annotations
4 errors
|
check-safety
Process completed with exit code 2.
|
|
compile-src
Process completed with exit code 2.
|
|
check-sct
Process completed with exit code 2.
|
|
extract-to-easycrypt
Process completed with exit code 2.
|