Skip to content
Tests

Better performance by using the delay option of coq-lsp. Improve performance of GH-Actions #135

Sign in to view logs

Better performance by using the delay option of coq-lsp. Improve performance of GH-Actions

Better performance by using the delay option of coq-lsp. Improve performance of GH-Actions #135

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (4.11)
14m 15s
14m 15s