wip: src/ Makefiles cleanup + workflow to check src/ with Dockerfile … #105
tfaoliveiraamd64-linux.yml
on: push
check-safety
1m 29s
check-sct
13s
extract-to-easycrypt
13s
compile-src
13s