Skip to content

Merge pull request #5693 from edwintorok/feature/perf #8764

Merge pull request #5693 from edwintorok/feature/perf

Merge pull request #5693 from edwintorok/feature/perf #8764

Triggered via push June 17, 2024 15:33
Status Success
Total duration 9m 46s
Artifacts

main.yml

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