Skip to content

Merge pull request #188 from DigiKlausur/disable_notebook_name_change #757

Merge pull request #188 from DigiKlausur/disable_notebook_name_change

Merge pull request #188 from DigiKlausur/disable_notebook_name_change #757

Triggered via push February 12, 2025 15:53
Status Success
Total duration 1m 38s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in