Skip to content

CI for GHCR

CI for GHCR #53

Workflow file for this run

name: CI for GHCR
on:
workflow_dispatch:
branches:
- 'main'
jobs:
build_and_publish:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Build and push Backend
run: |
cd backend
docker build -t ghcr.io/${{ github.repository }}-backend:latest .
echo ${{ secrets.GHCR_TOKEN }} | docker login ghcr.io -u ${{ github.repository_owner }} --password-stdin
docker push ghcr.io/${{ github.repository }}-backend:latest
- name: Build and push Frontend
run: |
cd frontend
docker build --build-arg VITE_FMP_API_URL=https://play.formal-methods.net/api -t ghcr.io/${{ github.repository }}-frontend:latest .
echo ${{ secrets.GHCR_TOKEN }} | docker login ghcr.io -u ${{ github.repository_owner }} --password-stdin
docker push ghcr.io/${{ github.repository }}-frontend:latest
- name: Build and push Alloy API
run: |
cd alloy-api
docker build -t ghcr.io/${{ github.repository }}-alloy-api:latest .
echo ${{ secrets.GHCR_TOKEN }} | docker login ghcr.io -u ${{ github.repository_owner }} --password-stdin
docker push ghcr.io/${{ github.repository }}-alloy-api:latest