Merge pull request #1496 from xuwei-k/url-to-uri #1147
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: | |
| pull_request: | |
| push: | |
| jobs: | |
| test: | |
| runs-on: ubuntu-latest | |
| env: | |
| JVM_OPTS: -Dfile.encoding=UTF-8 -Xmx1G -Xms1G -server -XX:ReservedCodeCacheSize=128M | |
| JAVA_OPTS: -Dfile.encoding=UTF-8 -Xmx1G -Xms1G -server -XX:ReservedCodeCacheSize=128M | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v7 | |
| - name: Setup | |
| uses: actions/setup-java@v5 | |
| with: | |
| distribution: 'temurin' | |
| java-version: '17' | |
| cache: 'sbt' | |
| - name: Setup sbt | |
| uses: sbt/setup-sbt@v1 | |
| - name: Setup node | |
| uses: actions/setup-node@v6 | |
| with: | |
| node-version: 24 | |
| - name: Setup Rust | |
| uses: actions-rust-lang/setup-rust-toolchain@v1 | |
| - name: Install mdbook | |
| run: | | |
| cargo install mdbook --no-default-features --features search --vers "^0.4" --locked | |
| cargo install mdbook-variables --vers "^0.2" --locked | |
| cargo install mdbook-admonish --vers "^1" --locked | |
| # TODO use normal version once 0.3.7 comes out | |
| cargo install --git https://github.com/google/mdbook-i18n-helpers --rev 53cf5518b380a9e49b0834823a9b8e3a6446a3b4 mdbook-i18n-helpers | |
| export PATH="$PATH:$HOME/.cargo/bin" | |
| mdbook --version | |
| - name: Build landing page | |
| run: | | |
| cd landing | |
| npm ci | |
| npm run build | |
| - name: Build and test | |
| run: | | |
| sbt -v scalafmtSbtCheck scalafmtCheckAll | |
| sbt -v scripted | |
| sbt -v makeSite | |
| # https://docs.github.com/en/free-pro-team@latest/actions/reference/encrypted-secrets | |
| - name: Deploy to GH Pages | |
| if: ${{ github.event_name == 'push' && github.repository == 'sbt/website' && (github.ref == 'refs/heads/develop' || github.ref == 'refs/heads/1.x' || github.ref == 'refs/heads/1.x-beta') }} | |
| run: .github/publish-site.sh | |
| env: | |
| DEPLOY_KEY_PASSPHRASE: ${{ secrets.DEPLOY_KEY_PASSPHRASE }} |