Merge branch 'dev' into dev

This commit is contained in:
Tom Foster 2024-04-22 12:52:12 +01:00 committed by GitHub
commit 5231ba08d8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
76 changed files with 3472 additions and 5078 deletions

View file

@ -351,4 +351,4 @@ jobs:
docker manifest create $REPO_DOCKER:$BRANCH_TAG \
--amend conduwuit:${{ github.sha }}-x86_64-jemalloc \
--amend conduwuit:${{ github.sha }}-aarch64-jemalloc
docker manifest push $REPO_DOCKER:$BRANCH_TAG
docker manifest push $REPO_DOCKER:$BRANCH_TAG