Skip to content

Build merge commit in PR in CI #78

Build merge commit in PR in CI

Build merge commit in PR in CI #78

Workflow file for this run

name: Build and Test
on:
pull_request:
push:
branches:
- master
concurrency:
group: "${{ github.workflow }}-${{ github.ref }}"
cancel-in-progress: true
jobs:
build-and-test:
runs-on: ubuntu-22.04
timeout-minutes: 15
env:
SBT_OPTS: "-Dfile.encoding=UTF-8 -Duser.timezone=UTC -Xmx2g"
steps:
- name: Checkout code
uses: actions/checkout@v4
with:
ref: ${{ github.ref }}
- name: Cache Coursier
uses: coursier/[email protected]
- name: Setup JDK
uses: coursier/[email protected]
with:
jvm: adoptium:1.11
- name: Build
timeout-minutes: 15
env:
COVERALLS_REPO_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
sbt -v "+clean; +compile; +Test/compile; lint; +coverage; +test; +coverageReport; +coveralls;"