Skip to content

Merge branch 'dev'

Merge branch 'dev' #81

Workflow file for this run

name: CI
on:
push:
branches: [ main ]
paths:
- '**.kt'
pull_request:
paths:
- '**.kt'
workflow_dispatch:
jobs:
test:
name: Test
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Set up JDK 17
uses: actions/setup-java@v4
with:
java-version: '17'
distribution: 'zulu'
cache: gradle
- name: Install wcstools
run: sudo apt install -y wcstools
- name: Grant execute permission for gradlew
run: chmod +x gradlew
- name: Test
run: ./gradlew test --continue -Dgithub=true