fix: update permissions
Some checks failed
Build & Push Docker Images / Build Image (., web/Dockerfile, web) (push) Failing after 18s
Build & Push Docker Images / Build Image (db, db/Dockerfile, db) (push) Failing after 12s
Build & Push Docker Images / Build Image (judger, judger/Dockerfile, judger) (push) Failing after 10s
Build & Push Docker Images / Build Image (remote_judger, remote_judger/Dockerfile, remote-judger) (push) Failing after 11s

This commit is contained in:
Baoshuo Ren 2024-07-20 22:38:52 +08:00
parent e9ade3bf58
commit 678889ba4f
Signed by: baoshuo
GPG Key ID: 00CB9680AB29F51A

View File

@ -13,6 +13,9 @@ env:
REGISTRY: ${{ startsWith(github.server_url, 'https://github.com') && 'ghcr.io' || 'git.m.ac' }} REGISTRY: ${{ startsWith(github.server_url, 'https://github.com') && 'ghcr.io' || 'git.m.ac' }}
IMAGE_BASENAME: ${{ github.repository }} IMAGE_BASENAME: ${{ github.repository }}
permissions:
packages: write
jobs: jobs:
build: build:
name: Build Image name: Build Image