Skip to content

Merge pull request #5663 from kit-ty-kate/test-sandbox-no-opamroot #4040

Merge pull request #5663 from kit-ty-kate/test-sandbox-no-opamroot

Merge pull request #5663 from kit-ty-kate/test-sandbox-no-opamroot #4040

Annotations

1 warning

Analyse

succeeded Jan 27, 2025 in 6s
Set up job
0s
Checkout tree
2s
Determine cache keys
0s
src_ext/archives and opam-repository Cache
0s
Create src_ext/archives and opam-repository cache
0s
Post src_ext/archives and opam-repository Cache
0s
Post Checkout tree
0s
Complete job
0s