Skip to content

switch to local volume & add mariadb entrypoints #17

switch to local volume & add mariadb entrypoints

switch to local volume & add mariadb entrypoints #17

Workflow file for this run

name: Build Docker Images
on:
push:
pull_request:
schedule:
- cron: '0 0 * * *' # Every day at midnight
jobs:
build:
permissions:
packages: write
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Initialize submodules
run: |
git submodule update --init --recursive
- name: Build images
run: docker compose build
working-directory: dmoj
- name: Test images
run: |
./scripts/initialize
docker compose up -d
sleep 10
COMPOSE_EXEC_FLAGS="-T" ./scripts/copy_static
COMPOSE_EXEC_FLAGS="-T" ./scripts/migrate
COMPOSE_EXEC_FLAGS="-T" ./scripts/manage.py loaddata language_small
working-directory: dmoj
- name: Login to GitHub Container Registry
uses: docker/login-action@v3
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Push images to GHCR
if: (github.event_name == 'push' || github.event_name == 'schedule') && github.ref == 'refs/heads/master'
run: |
docker push ghcr.io/mcpt/wlmoj-base:latest
docker push ghcr.io/mcpt/wlmoj-texoid:latest
docker push ghcr.io/mcpt/wlmoj-pdfoid:latest
docker push ghcr.io/mcpt/wlmoj-mathoid:latest
docker push ghcr.io/mcpt/wlmoj-site:latest
docker push ghcr.io/mcpt/wlmoj-celery:latest
docker push ghcr.io/mcpt/wlmoj-bridged:latest
docker push ghcr.io/mcpt/wlmoj-wsevent:latest