Skip to content

Merge pull request #5605 from LunfanZhang/private/luzhan_official/CP-… #8381

Merge pull request #5605 from LunfanZhang/private/luzhan_official/CP-…

Merge pull request #5605 from LunfanZhang/private/luzhan_official/CP-… #8381

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

main.yml

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