Skip to content

Web extension resources return incorrect MIME type #1701

Web extension resources return incorrect MIME type

Web extension resources return incorrect MIME type #1701

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@v1
with:
node-version: 14.x
- name: Set up JDK
uses: actions/setup-java@v1
with:
java-version: 17
- name: Install Yarn
run: npm install --global yarn
- uses: actions/checkout@v2
- 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'