Skip to content

Merge pull request #78 from wilhelm-lab/feature/sage_dict_parse #159

Merge pull request #78 from wilhelm-lab/feature/sage_dict_parse

Merge pull request #78 from wilhelm-lab/feature/sage_dict_parse #159

Triggered via push November 10, 2023 16:01
Status Success
Total duration 13s
Artifacts
update_release_draft
4s
update_release_draft
Fit to window
Zoom out
Zoom in