Minimal CI workflow using GitHub actions #16
Description
To make a start on using github actions we could have a simple workflow that builds x3div and runs the default benchmark.
This would be run upon pushing new commits to the repo.
{{ message }}
To make a start on using github actions we could have a simple workflow that builds x3div and runs the default benchmark.
This would be run upon pushing new commits to the repo.