|
|
|
name: Create and publish a Docker image for Latex support |
|
|
|
on: |
|
push: |
|
branches: |
|
- 'master' |
|
|
|
env: |
|
REGISTRY: ghcr.io |
|
IMAGE_NAME: ${{ github.repository }}_with_latex |
|
|
|
jobs: |
|
build-and-push-image: |
|
runs-on: ubuntu-latest |
|
permissions: |
|
contents: read |
|
packages: write |
|
|
|
steps: |
|
- name: Checkout repository |
|
uses: actions/checkout@v3 |
|
|
|
- name: Log in to the Container registry |
|
uses: docker/login-action@v2 |
|
with: |
|
registry: ${{ env.REGISTRY }} |
|
username: ${{ github.actor }} |
|
password: ${{ secrets.GITHUB_TOKEN }} |
|
|
|
- name: Extract metadata (tags, labels) for Docker |
|
id: meta |
|
uses: docker/metadata-action@v4 |
|
with: |
|
images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }} |
|
|
|
- name: Build and push Docker image |
|
uses: docker/build-push-action@v4 |
|
with: |
|
context: . |
|
push: true |
|
file: docs/GithubAction+NoLocal+Latex |
|
tags: ${{ steps.meta.outputs.tags }} |
|
labels: ${{ steps.meta.outputs.labels }} |
|
|