Skip to content

Bump actions/setup-java from 3.12.0 to 3.13.0 #1257

Bump actions/setup-java from 3.12.0 to 3.13.0

Bump actions/setup-java from 3.12.0 to 3.13.0 #1257

Workflow file for this run

name: CI
on:
pull_request:
push:
schedule:
- cron: '0 0 * * 0'
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
jobs:
test:
runs-on: ubuntu-latest
timeout-minutes: 50
strategy:
fail-fast: false
matrix:
scala:
- "2.12.x"
- "2.13.x"
- "3.x"
java:
- 8
- 11
- 17
steps:
- uses: actions/checkout@3df4ab11eba7bda6032a0b82a6bb43b11571feac # v4.0.0
- uses: actions/setup-java@0ab4596768b603586c0de567f2430c30f5b0d2b0 # v3.13.0
with:
java-version: ${{matrix.java}}
distribution: temurin
- uses: coursier/cache-action@d1039466d0812d6370649b9afb02bbf5f646bacf # v6.4.3
- run: sbt -v
scalafmtSbtCheck
"++ ${{ matrix.scala }} -v"
"scalafmtCheckAll"
"Test/compile"
"test"
push_gh_pages:
needs: test
timeout-minutes: 30
runs-on: ubuntu-latest
if: ${{ github.repository_owner == 'atnos-org' && github.ref == 'refs/heads/master' && github.event_name == 'push' }}
steps:
- uses: actions/setup-java@0ab4596768b603586c0de567f2430c30f5b0d2b0 # v3.13.0
with:
java-version: 8
distribution: temurin
- uses: actions/checkout@3df4ab11eba7bda6032a0b82a6bb43b11571feac # v4.0.0
- name: Install pandoc
run: ./.github/install_pandoc.sh
- uses: coursier/cache-action@d1039466d0812d6370649b9afb02bbf5f646bacf # v6.4.3
- name: Generate html
run: ./.github/gen_doc.sh
- name: Push to gh-pages
uses: JamesIves/github-pages-deploy-action@a1ea191d508feb8485aceba848389d49f80ca2dc # v4.4.3
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages
FOLDER: target/specs2-reports/site
CLEAN: true