Fixed the README batches and changed pipeline to push tags to github.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Fixed the README batches and changed pipeline to push tags to github.
Markus Scheidgen
requested to merge
github
into
develop
Jan 25, 2023
Overview
0
Commits
1
Pipelines
1
Changes
2
Changelog: Fixed
Merge request reports
Loading