develop #49

Manually merged
samuel-p merged 23 commits from develop into master 2020-11-27 22:09:29 +00:00
Showing only changes of commit 371204e163 - Show all commits

View file

@ -32,7 +32,7 @@ trigger:
--- ---
kind: pipeline kind: pipeline
type: docker type: docker
name: linux-arm name: linux-arm64
platform: platform:
os: linux os: linux