Skip to content

[CI] Windows CI doesn't like dune 3.16.0 (yet?) #146

[CI] Windows CI doesn't like dune 3.16.0 (yet?)

[CI] Windows CI doesn't like dune 3.16.0 (yet?) #146

Triggered via pull request June 18, 2024 14:11
@kLabzkLabz
opened #11697
Status Success
Total duration 12s
Artifacts

target.yml

on: pull_request_target
check-branches
0s
check-branches
Fit to window
Zoom out
Zoom in