PR number update

Use setup-ocaml@v3 for trunk build #922

Sign in to view logs

Triggered via pull request February 18, 2025 11:01

synchronize #566

Status Success

Total duration 16s

Artifacts –

pr-number.yml

on: pull_request_target

Update PR number

Annotations

1 warning

Update PR number

The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101