Skip to content
CI

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (4.12.x, test, coq.dev)
11m 40s
build (4.13.x, test, coq.dev)
11m 14s
build (4.14.x, test, coq.dev)
12m 8s
build (4.14.x, test, true)
13m 59s
49m 1s