Skip to content

Merge master into feature/py3 #8345

Merge master into feature/py3

Merge master into feature/py3 #8345

Triggered via pull request May 10, 2024 13:33
Status Success
Total duration 9m 25s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yml

on: pull_request
Run OCaml tests
9m 16s
Run OCaml tests
Fit to window
Zoom out
Zoom in