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