Skip to content

Fix #71: delete redundant copy of file in replica store #33

Fix #71: delete redundant copy of file in replica store

Fix #71: delete redundant copy of file in replica store #33

Workflow file for this run

# DSpace Replication Task Suite Continuous Integration/Build via GitHub Actions
name: Build
# Run this Build for all pushes / PRs to current branch
on: [push, pull_request]
jobs:
test:
runs-on: ubuntu-latest
env:
# Give Maven 1GB of memory to work with
# Suppress all Maven "downloading" messages in build logs (see https://stackoverflow.com/a/35653426)
# This also slightly speeds builds, as there is less logging
MAVEN_OPTS: "-Xmx1024M -Dorg.slf4j.simpleLogger.log.org.apache.maven.cli.transfer.Slf4jMavenTransferListener=warn"
steps:
# https://github.com/actions/checkout
- name: Checkout codebase
uses: actions/checkout@v2
# https://github.com/actions/setup-java
- name: Install JDK 11
uses: actions/setup-java@v2
with:
distribution: zulu
java-version: 11
# https://github.com/actions/cache
- name: Cache Maven dependencies
uses: actions/cache@v2
with:
# Cache entire ~/.m2/repository
path: ~/.m2/repository
# Cache key is hash of all pom.xml files. Therefore any changes to POMs will invalidate cache
key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
restore-keys: ${{ runner.os }}-maven-
- name: Build with Maven
run: mvn -B -V clean verify