Skip to content

gifs and nice things #25

gifs and nice things

gifs and nice things #25

Workflow file for this run

name: Prebuild docker image
on:
push:
pull_request:
branches:
- main
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
jobs:
build:
name: BUILD
runs-on: ubuntu-22.04
timeout-minutes: 600
steps:
- uses: actions/checkout@v4
with:
ref: "mczyz/dev"
# - name: Pre-build dev container image
# uses: devcontainers/[email protected]
# with:
# imageName: ghcr.io/openroad-codespace/test
# cacheFrom: ghcr.io/openroad-codespace/test
# push: always
# configFile: ./.devcontainer/ubuntu-gui/devcontainer.json
- name: Devcontainer build
run: |
npm install -g @devcontainers/cli
devcontainer build --config .devcontainer/ubuntu-gui/devcontainer.json --workspace-folder . --push false --image-name test:latest
docker image tag test:latest ghcr.io/antmicro/openroad-codespace:test
- name: Login to GitHub Container Registry (GHCR)
if: github.event_name != 'pull_request' && github.repository == 'antmicro/openroad-codespace'
uses: docker/login-action@v2
with:
registry: ghcr.io
username: gha
password: ${{ github.token }}
- name: Push container image to GitHub Container Registry (GHCR)
if: github.event_name != 'pull_request' && github.repository == 'antmicro/openroad-codespace'
run: docker push ghcr.io/antmicro/openroad-codespace:test