Skip to content

Bump actions/checkout from 4.1.4 to 4.1.5 #1467

Bump actions/checkout from 4.1.4 to 4.1.5

Bump actions/checkout from 4.1.4 to 4.1.5 #1467

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
- 21
steps:
- uses: actions/checkout@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b # v4.1.5
- uses: actions/setup-java@99b8673ff64fbf99d8d325f52d9a5bdedb8483e9 # v4.2.1
with:
java-version: ${{matrix.java}}
distribution: temurin
- uses: coursier/cache-action@142d2738bd29f0eb9d44610828acb3a19809feab # v6.4.6
- 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@99b8673ff64fbf99d8d325f52d9a5bdedb8483e9 # v4.2.1
with:
java-version: 8
distribution: temurin
- uses: actions/checkout@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b # v4.1.5
- name: Install pandoc
run: ./.github/install_pandoc.sh
- uses: coursier/cache-action@142d2738bd29f0eb9d44610828acb3a19809feab # v6.4.6
- name: Generate html
run: ./.github/gen_doc.sh
- name: Push to gh-pages
uses: JamesIves/github-pages-deploy-action@ec9c88baef04b842ca6f0a132fd61c762aa6c1b0 # v4.6.0
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages
FOLDER: target/specs2-reports/site
CLEAN: true