Skip to content

Merge pull request #1043 from gusthoff/content/ada_idioms/new_section… #21

Merge pull request #1043 from gusthoff/content/ada_idioms/new_section…

Merge pull request #1043 from gusthoff/content/ada_idioms/new_section… #21

Triggered via push May 17, 2024 09:14
Status Success
Total duration 10s
Artifacts
Matrix: trigger
Fit to window
Zoom out
Zoom in