Skip to content

Merge branch 'dev' into github-pages-deployment-with-dokka #171

Merge branch 'dev' into github-pages-deployment-with-dokka

Merge branch 'dev' into github-pages-deployment-with-dokka #171

Workflow file for this run

name: CI
on:
workflow_dispatch:
push:
branches: ["*"]
# pull_request:
# branches: [ "*" ]
jobs:
check:
strategy:
matrix:
os: [ubuntu-latest, macos-latest, windows-latest]
runs-on: ${{ matrix.os }}
permissions:
contents: read
steps:
- uses: huanshankeji/.github/actions/gradle-test-and-check@v0.2.0
with:
jdk-versions: 17-temurin
dependency-submission:
strategy:
matrix:
os: [ubuntu-latest, macos-latest, windows-latest]
runs-on: ${{ matrix.os }}
permissions:
contents: write
steps:
- uses: huanshankeji/.github/actions/gradle-dependency-submission@v0.2.0
with:
jdk-versions: 17-temurin