Skip to content

Merge pull request #115 from MaRDI4NFDI/strip_patch #24

Merge pull request #115 from MaRDI4NFDI/strip_patch

Merge pull request #115 from MaRDI4NFDI/strip_patch #24

Triggered via push January 11, 2024 10:45
Status Success
Total duration 50s
Artifacts
Fit to window
Zoom out
Zoom in