Skip to content

Merge pull request #5126 from lindig/master #683

Merge pull request #5126 from lindig/master

Merge pull request #5126 from lindig/master #683

Triggered via push July 25, 2023 13:39
Status Success
Total duration 18m 17s
Artifacts

main.yml

on: push
Ocaml tests
18m 7s
Ocaml tests
Deprecation tests
7s
Deprecation tests
Matrix: Python tests
Fit to window
Zoom out
Zoom in