Skip to content

Add latex packages

Add latex packages #21

name: Build and Deploy
on:
push:
branches:
- 'main'
env:
IMAGE_NAME: devenv
jobs:
docker:
runs-on: ubuntu-latest
steps:
-
name: Checkout
uses: actions/checkout@v4
-
name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
with:
install: true
-
name: Login to GitHub Container Registry
uses: docker/login-action@v3
with:
registry: ghcr.io
username: ${{ github.repository_owner }}
password: ${{ secrets.GITHUB_TOKEN }}
-
name: Set environmen variables
run: |
echo "Datetag=$(date +'%Y-%m-%d')" >> $GITHUB_ENV
IMAGE_ID=ghcr.io/${{ github.repository_owner }}/$IMAGE_NAME
# Change all uppercase to lowercase
echo "IMAGE_ID=$(echo $IMAGE_ID | tr '[A-Z]' '[a-z]')" >> $GITHUB_ENV
-
name: Build and push
uses: docker/build-push-action@v6
with:
context: .
push: true
tags:
ghcr.io/${{ env.IMAGE_ID }}:${{ env.Datetag }},
ghcr.io/${{ env.IMAGE_ID }}:latest
cache-from: type=gha
cache-to: type=gha,mode=max