Web rework & improved Git API #114

Merged
Jef Roosens merged 16 commits from restful-api into dev 2022-04-07 12:26:50 +02:00
Showing only changes of commit 56517c0ff0 - Show all commits

View file

@ -2,7 +2,8 @@ matrix:
PLATFORM: PLATFORM:
- linux/amd64 - linux/amd64
- linux/arm64 - linux/arm64
- linux/arm/v7 # I just don't have a performant enough runner for this platform
# - linux/arm/v7
# These checks already get performed on the feature branches # These checks already get performed on the feature branches
platform: ${PLATFORM} platform: ${PLATFORM}