Skip to content

Merge pull request #379 from jolicode/dic-rivers #95

Merge pull request #379 from jolicode/dic-rivers

Merge pull request #379 from jolicode/dic-rivers #95

Triggered via push April 4, 2024 08:21
Status Success
Total duration 48s
Artifacts
Build documentation website with MkDocs
19s
Build documentation website with MkDocs
Deploy to GitHub Pages
7s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in