From 7516c5d69e5d612117d407e517680f95ffff5db1 Mon Sep 17 00:00:00 2001 From: deadprogram Date: Wed, 19 Jan 2022 19:04:37 +0100 Subject: [PATCH] build: rename file and cleanup names displayed for Docker dev build Signed-off-by: deadprogram --- .../workflows/{build-tinygo-dev-docker.yml => docker.yml} | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) rename .github/workflows/{build-tinygo-dev-docker.yml => docker.yml} (85%) diff --git a/.github/workflows/build-tinygo-dev-docker.yml b/.github/workflows/docker.yml similarity index 85% rename from .github/workflows/build-tinygo-dev-docker.yml rename to .github/workflows/docker.yml index 5183f6d9..2e521049 100644 --- a/.github/workflows/build-tinygo-dev-docker.yml +++ b/.github/workflows/docker.yml @@ -1,11 +1,15 @@ -name: CI for tinygo-dev docker container +# This is the Github action to build and push the tinygo/tinygo-dev Docker image. +# If you are looking for the tinygo/tinygo "release" Docker image please see +# https://github.com/tinygo-org/docker +# +name: Docker on: push: branches: [ dev, fix-docker-llvm-build ] jobs: push_to_registry: - name: Push Docker image to GHCR/Docker Hub + name: build-push-dev runs-on: ubuntu-latest permissions: packages: write