Builds, tests & co

Only build the benchmarking tool when the bench dune profile is used #18

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-doc	5m 30s
lint-opam	6m 4s
build (ubuntu-latest, 4.08)	1m 21s
build (ubuntu-latest, 5)	5m 21s
	18m 16s