ci: add build-migration-progress workflow#442

mrosseel wants to merge 1 commit into

brickbots:mainbrickbots/PiFinder:mainfrom

mrosseel:ci/migration-progress-buildermrosseel/PiFinder:ci/migration-progress-builderCopy head branch name to clipboard