Skip to content
Tests

Teach the devcontainer image to install Mathlib and use nvim 0.10. #2308

Sign in to view logs

Teach the devcontainer image to install Mathlib and use nvim 0.10.

Teach the devcontainer image to install Mathlib and use nvim 0.10. #2308

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ci (macos-latest, stable)
1m 6s
ci (macos-latest, nightly)
58s
ci (ubuntu-latest, stable)
36s
ci (ubuntu-latest, nightly)
45s
3m 25s