dev docs

Use direct URL for fetching tool install script in CI #2618

Triggered via push May 28, 2024 05:03

ofek

master

Status Success

Total duration 7m 20s

Artifacts 1

docs-dev.yml

on: push

Produced during runtime

Name	Size
documentation Expired	50.2 MB