Builds, tests & co

Bumped pre-commit hooks and removed check-symlinks #54

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-latest)	1m 8s
lint-doc	1m 26s
lint-opam	2m 50s
lint-fmt	1m 52s
	7m 16s