Skip to content

Build ZE Theia Slim #140

Build ZE Theia Slim

Build ZE Theia Slim #140

name: Build ZE Theia Slim
on:
push:
paths:
- ze/theia-slim/**
- .github/workflows/ze-theia-slim.yaml
- .github/workflows/docker-reusable.yaml
workflow_dispatch:
inputs:
docker-tags:
description: "Docker tags to build (space-separated - e.g., '1.37 latest')"
default: "next"
required: false
type: string
deploy:
description: "Push image to Docker registry"
default: false
required: false
type: boolean
schedule:
- cron: '0 0 * * 0'
jobs:
setup:
runs-on: ubuntu-latest
outputs:
docker-tags: ${{ steps.load-env.outputs.DOCKER_TAGS }}
theia-version: ${{ steps.load-env.outputs.THEIA_VERSION }}
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Get Theia version
id: load-env
run: node ze/theia-slim/getTheiaVersion.js ${{ inputs.docker-tags }}
build-and-deploy:
needs: setup
uses: ./.github/workflows/docker-reusable.yaml
permissions:
packages: write
with:
build-args: |
THEIA_VERSION=${{ needs.setup.outputs.theia-version }}
name: ze-theia-slim
path: ze/theia-slim
push: ${{ (github.event_name == 'workflow_dispatch' && inputs.deploy) || github.event_name == 'schedule' || (github.event_name == 'push' && github.ref_name == 'main') }}
# Skip build for ARM64 unless we are deploying because it is slow
qemu: ${{ (github.event_name == 'workflow_dispatch' && inputs.deploy) || github.event_name == 'schedule' || (github.event_name == 'push' && github.ref_name == 'main') }}
tags: ${{ needs.setup.outputs.docker-tags }}
timeout: 90
secrets: inherit