Skip to content

Merge branch 'devel' into mixed #348

Merge branch 'devel' into mixed

Merge branch 'devel' into mixed #348

Triggered via push August 31, 2024 10:39
Status Success
Total duration 28s
Artifacts

pub-pypi.yml

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