Skip to content

Merge pull request #1521 from AntonioCarta/github_ci #49

Merge pull request #1521 from AntonioCarta/github_ci

Merge pull request #1521 from AntonioCarta/github_ci #49

Triggered via push October 18, 2023 07:52
Status Success
Total duration 1m 21s
Artifacts
deploy_notebooks
1m 10s
deploy_notebooks
Fit to window
Zoom out
Zoom in