Skip to content

Delete outdated docs folder #11

Delete outdated docs folder

Delete outdated docs folder #11

Triggered via pull request July 8, 2024 14:22
@tardieutardieu
opened #12
nodocs
Status Success
Total duration 32s
Artifacts

CI.yaml

on: pull_request
Fit to window
Zoom out
Zoom in