Skip to content

Fixes #216 - Add REST API to delete a repository (#225) #170

Fixes #216 - Add REST API to delete a repository (#225)

Fixes #216 - Add REST API to delete a repository (#225) #170

Workflow file for this run

name: build
on:
push:
branches:
- 'current'
pull_request:
branches:
- '*'
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Set up Java 21
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: 21
- name: Build with Maven
run: mvn -B --ntp package
- name: Login to GHCR
uses: docker/login-action@v2
with:
registry: ghcr.io
username: ${{ secrets.DOCKER_USERNAME }}
password: ${{ secrets.DOCKER_PASSWORD }}
- name: Push to GHCR
run: |
cd repo
mvn --ntp -P docker install docker:build docker:push
cd ../ui
mvn --ntp -P docker install docker:build docker:push