Painfully update configs and add some metadata for builds

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
This commit is contained in:
Andrei Jiroh Halili 2023-07-12 16:30:36 +00:00
parent 12ce4027df
commit 4ae868cf37
3 changed files with 21 additions and 10 deletions

View file

@ -1,4 +1,4 @@
name: Docker
name: Docker CI
# This workflow uses actions that are not certified by GitHub.
# They are provided by a third-party and are governed by
@ -23,8 +23,8 @@ env:
jobs:
build:
build-devenv:
name: Build development environment
runs-on: ubuntu-latest
permissions:
contents: read
@ -45,7 +45,6 @@ jobs:
with:
cosign-release: 'v1.13.1'
# Workaround: https://github.com/docker/build-push-action/issues/461
- name: Setup Docker buildx
uses: docker/setup-buildx-action@79abd3f86f79a9d68a23c75a09a9a85889262adf