CI

[serlib] Remove serlib and use coq-lsp serlib version instead. #467

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (4.12.x, test, coq.dev)	12m 11s
build (4.13.x, test, coq.dev)	11m 21s
build (4.14.x, test, coq.dev)	11m 10s
build (4.14.x, test, true)	9m 51s
	44m 33s