Build and test

CA-413412: Fail to designate new master (#6582) #13581

Sign in to view logs

Triggered via push July 9, 2025 09:26

github-merge-queue[bot]

gh-readonly-queue/master/pr-6582-9c145a072f841a2831e9cf95e7087c6a56d48602

Status Success

Total duration 6m 41s

Artifacts –

main.yml

on: push

Run OCaml tests