Skip to content

Update scala-library to 2.13.15 #600

Update scala-library to 2.13.15

Update scala-library to 2.13.15 #600

Workflow file for this run

name: CI
on:
pull_request:
push:
schedule:
- cron: '0 0 * * 0'
jobs:
test:
runs-on: ubuntu-latest
timeout-minutes: 30
strategy:
matrix:
include:
- java: 8
steps:
- uses: actions/checkout@v4
- uses: actions/setup-java@2dfa2011c5b2a0f1489bf9e433881c92c1631f88 # v4.3.0
with:
java-version: ${{matrix.java}}
distribution: adopt
- uses: coursier/cache-action@v6
- run: sbt -v "+ test"
push_gh_pages:
needs: test
timeout-minutes: 30
runs-on: ubuntu-latest
steps:
- uses: actions/setup-java@2dfa2011c5b2a0f1489bf9e433881c92c1631f88 # v4.3.0
with:
java-version: 11
distribution: adopt
- uses: actions/checkout@v4
- uses: coursier/cache-action@v6
- uses: ruby/setup-ruby@v1
with:
bundler-cache: true
ruby-version: 3.3.0
- run: gem update --system && gem install jekyll bundler
- run: sbt -v docs/makeMicrosite
- run: sudo apt-get install tree
- run: tree docs/target/site
- name: Push to gh-pages
if: ${{ github.repository_owner == 'b-studios' && github.ref == 'refs/heads/master' && github.event_name == 'push' }}
uses: JamesIves/[email protected]
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages
FOLDER: docs/target/site
CLEAN: true