Coq Build

Update README.md to reflect new version #98

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.16, default)	20m 54s
build (8.17, default)	19m 21s
build (8.18, default)	20m 54s
	1h 1m 9s