[!71] [CI] Fix a type preventing pull from ever working.
Merge branch 'fix-pull-typo' into 'master' See merge request [joe/pacxx-docker!71] [joe/pacxx-docker!71]: Nonejoe/pacxx-docker/merge_requests/71
No related branches found
No related tags found
Pipeline #12843 passed
Stage: utils
Stage: base
Stage: pacxx-source
Stage: pacxx-build
Stage: mkimage
Stage: samples-build
Stage: test
Stage: deploy