-
Notifications
You must be signed in to change notification settings - Fork 15
49 lines (49 loc) · 1.36 KB
/
ci.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
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@99b8673ff64fbf99d8d325f52d9a5bdedb8483e9 # v4.2.1
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@99b8673ff64fbf99d8d325f52d9a5bdedb8483e9 # v4.2.1
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/github-pages-deploy-action@v4.5.0
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages
FOLDER: docs/target/site
CLEAN: true