Skip to content

chore(tooling): Ignore genearted files #436

chore(tooling): Ignore genearted files

chore(tooling): Ignore genearted files #436

Workflow file for this run

name: Deploy
on:
push:
branches:
- master
- develop
- rel*
tags:
- latest
- v*
jobs:
ghcr:
strategy:
fail-fast: false
runs-on: ubuntu-22.04
steps:
- name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Install system dependencies
run: |
sudo apt-get update
sudo apt-get install clang mold
- name: Configure
run: |
echo "REF=${GITHUB_REF##refs/*/}" >> $GITHUB_ENV
./bootstrap.sh
./configure \
--enable-developer-mode \
--disable-dependency-checks \
CHECKMAKE=false LUACHECK=false RUFF=false STYLUA=false TYPOS=false
- name: Publish Docker Image to GH Container Registry
run: |
make docker-build-push
env:
DOCKER_REGISTRY: ghcr.io
DOCKER_REPO: ${{ github.repository }}
DOCKER_TAG: ${{ github.ref_name }}
DOCKER_USERNAME: ${{ github.actor }}
DOCKER_PAT: ${{ secrets.CR_SILE_TYPESETTER }}