improve CLI experience; merge binaries #115

Merged
Jef Roosens merged 10 commits from merge-cli-server into dev 2022-04-06 20:01:02 +02:00
Showing only changes of commit 9dd02426ff - Show all commits

View file

@ -2,7 +2,6 @@ matrix:
PLATFORM:
- linux/amd64
- linux/arm64
- linux/arm/v7
# These checks already get performed on the feature branches
platform: ${PLATFORM}