dune CI

Bump tagged versions in docs.yaml #147

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile and test CodeHawk (4.12.1)	8s
Compile and test CodeHawk (5.0.0)	8s
Compile and test CodeHawk (4.14.1)	7s
Compile and test CodeHawk (5.1.1)	8s
Compile and test CodeHawk (4.13.1)	8s
Run CodeHawk-C tests	0s
Run CodeHawk-Binary tests	0s
	39s