Build and test

Merge master into feature/perf #10595

Sign in to view logs

Triggered via pull request October 24, 2024 09:18

github-merge-queue[bot]

synchronize #6078

master

Status Success

Total duration 6m 32s

Artifacts –

main.yml

on: pull_request

Run OCaml tests