Skip to content

Merge pull request #1132 from gusthoff/content/advanced_ada/review/ed… #1280

Merge pull request #1132 from gusthoff/content/advanced_ada/review/ed…

Merge pull request #1132 from gusthoff/content/advanced_ada/review/ed… #1280

Triggered via push November 15, 2024 16:24
Status Success
Total duration 1m 14s
Artifacts
Matrix: sphinx-plugin
Fit to window
Zoom out
Zoom in