Skip to content
Builds, tests & co

Improve quick peek with highlighting in both the jump and holes commands #3492

Sign in to view logs

Improve quick peek with highlighting in both the jump and holes commands

Improve quick peek with highlighting in both the jump and holes commands #3492

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint-opam
4m 51s
lint-fmt
2m 25s
build-and-test
3m 37s
release
0s
10m 53s