Skip to content

Merge pull request #1049 from amvanbaren/redundant-casts #2136

Merge pull request #1049 from amvanbaren/redundant-casts

Merge pull request #1049 from amvanbaren/redundant-casts #2136

Workflow file for this run

name: CI
on:
push:
branches:
- master
pull_request:
branches:
- master
env:
SERVER_TAG: ghcr.io/eclipse/openvsx-server
WEBUI_TAG: ghcr.io/eclipse/openvsx-webui
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Set up Node.js
uses: actions/setup-node@v4
with:
node-version: 18.x
- name: Set up JDK
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: 17
- name: Install Yarn
run: |
corepack enable
corepack prepare yarn@stable --activate
- uses: actions/checkout@v4
- name: Set Image Version
run: echo "IMAGE_VERSION=${GITHUB_SHA:0:7}" >> $GITHUB_ENV
- name: Build CLI
run: yarn --cwd cli
- name: Build Web UI Image
run: docker build -t $WEBUI_TAG:$IMAGE_VERSION webui
- name: Run Server Tests
run: server/gradlew --no-daemon -p server check
- name: Build Server Image
run: docker build -t $SERVER_TAG:$IMAGE_VERSION server
- name: Push Docker Images
run: |
echo ${{ secrets.BOT_ACCESS_TOKEN }} | docker login ghcr.io -u $GITHUB_ACTOR --password-stdin
docker push $SERVER_TAG:$IMAGE_VERSION
docker push $WEBUI_TAG:$IMAGE_VERSION
if: github.repository == 'eclipse/openvsx' && github.ref == 'refs/heads/master'
- name: Save PR number to file
if: github.event_name == 'pull_request'
run: echo ${{ github.event.number }} > PR_NUMBER.txt
- name: Archive PR number
if: github.event_name == 'pull_request'
uses: actions/upload-artifact@v4
with:
name: PR_NUMBER
path: PR_NUMBER.txt