Skip to content

Merge branch 'main' into devel #54

Merge branch 'main' into devel

Merge branch 'main' into devel #54

Triggered via push October 20, 2023 21:54
Status Success
Total duration 45s
Artifacts

pub-pypi.yml

on: push
Build and publish Python distributions to PyPI
37s
Build and publish Python distributions to PyPI
Fit to window
Zoom out
Zoom in