Skip to content

Merge pull request #6192 from kit-ty-kate/gha-ocaml-5.3 #383

Merge pull request #6192 from kit-ty-kate/gha-ocaml-5.3

Merge pull request #6192 from kit-ty-kate/gha-ocaml-5.3 #383

Triggered via push January 23, 2025 16:43
Status Success
Total duration 12s
Artifacts

scripts.yml

on: push
hygiene-scripts
3s
hygiene-scripts
Fit to window
Zoom out
Zoom in

Annotations

1 warning
hygiene-scripts
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636