Add option to be able to use the default root · ocurrent/opam-repo-ci@3ed5527

Triggered via push December 17, 2024 17:19

punchagan

master

Status Success

Total duration 8m 46s

Artifacts 1

docs.yml

on: push

1 warning

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Produced during runtime

Name	Size
github-pages Expired	774 KB