Skip to content

Merge pull request #5924 from liulinC/private/linl/dev #9715

Merge pull request #5924 from liulinC/private/linl/dev

Merge pull request #5924 from liulinC/private/linl/dev #9715

Triggered via push August 9, 2024 03:20
Status Success
Total duration 9m 23s
Artifacts

main.yml

on: push
Run OCaml tests
9m 12s
Run OCaml tests
Fit to window
Zoom out
Zoom in