Skip to content
GitLab
Explore
Sign in
CoEC
JuMonC
Merge requests
!37
PyPI
Code
Review changes
Check out branch
Download
Patches
Plain diff
Christian Witzler
requested to merge
PyPI
into
main
Oct 24, 2022
Overview
0
Commits
3
Pipelines
1
Changes
2
Expand
create CI job to always create PyPI badge
Merge request reports