Skip to content

Merge remote-tracking branch 'origin/main' into use-parameter-flag #610

Merge remote-tracking branch 'origin/main' into use-parameter-flag

Merge remote-tracking branch 'origin/main' into use-parameter-flag #610

Annotations

1 warning

built with flambda-backend, flambda2

succeeded Jan 31, 2025 in 4m 12s
Set up job
1s
Checkout the merlin-jst repo
1s
Set up OCaml 5.2.x
31s
Cache flambda-backend build
13s
Clone the flambda-backend repo
0s
Check out the flambda-backend repo to the specified hash
0s
Install dependencies for flambda-backend
0s
Configure, build, and install flambda-backend
0s
Install dependencies
2m 32s
Check formatting
11s
Build and test in release mode (linux)
38s
Post Cache flambda-backend build
0s
Post Set up OCaml 5.2.x
0s
Post Checkout the merlin-jst repo
0s
Complete job
0s