Merge pull request #16 from ibois-epfl/tool-eval #292
docker-cmake-build.yml
on: push
build-container
4m 21s
configure-and-build
1m 57s