Skip to content

Add Sys.is_directory, Sys.remove and Sys.rename #31

Add Sys.is_directory, Sys.remove and Sys.rename

Add Sys.is_directory, Sys.remove and Sys.rename #31

Triggered via pull request May 15, 2024 12:35
@jmidjmid
synchronize #304
add-sys-is-dir
Status Success
Total duration 25m 16s
Artifacts

mingw-500.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build / test
Failed to save: Unable to reserve cache with key v1-setup-ocaml-cygwin-1-3.5.3-2024-20, another job may be creating this cache. More details: Cache already exists. Scope: refs/pull/304/merge, Key: v1-setup-ocaml-cygwin-1-3.5.3-2024-20, Version: 9d41722728b3669c02c4cc93fb040e7d6bdb51cbeffed530ecddb20eef69eacc