Skip to content
Build Dist and upload to PyPi from the develop branch

Merge branch 'develop' of github.com:HLR/DomiKnowS into develop #18

Sign in to view logs

Merge branch 'develop' of github.com:HLR/DomiKnowS into develop

Merge branch 'develop' of github.com:HLR/DomiKnowS into develop #18

Triggered via push September 8, 2023 14:27
@hfaghihi15hfaghihi15
pushed c6d63d7
d0.540
Status Success
Total duration 1m 10s
Artifacts –

dist_dev_to_pypi.yml

on: push
dist_develop
1m 0s
dist_develop
Fit to window
Zoom out
Zoom in