Skip to content

Backport "Fix stale top level synthetic package object being used in later runs" to 3.7.2 #8885

Backport "Fix stale top level synthetic package object being used in later runs" to 3.7.2

Backport "Fix stale top level synthetic package object being used in later runs" to 3.7.2 #8885

Workflow file for this run

name: Specification
on:
push:
tags:
- '*'
branches-ignore:
- 'gh-readonly-queue/**'
pull_request:
merge_group:
workflow_dispatch:
env:
DOTTY_CI_RUN: true
jobs:
specification:
runs-on: ubuntu-latest
if: (github.event_name == 'pull_request' && !contains(github.event.pull_request.body, '[skip ci]')) ||
(github.event_name == 'workflow_dispatch' && github.repository == 'scala/scala3') ||
github.event_name == 'push' ||
github.event_name == 'merge_group'
defaults:
run:
working-directory: ./docs/_spec
steps:
- uses: actions/checkout@v4
# Keep in sync with ./docs/_spec/Dockerfile
- uses: ruby/setup-ruby@v1
with:
ruby-version: '2.7'
- name: Install required gems
run: |
gem install "rubygems-update:<3.5" --no-document
update_rubygems
gem install sass-embedded -v 1.58.0
gem install bundler:1.17.2 jekyll
bundle install
npm install bower
- name: Build the specification
run: |
bundle exec jekyll build
# Deploy
- name: Deployment
env:
USER_FOR_TEST: ${{ secrets.SPEC_DEPLOY_USER }}
if: ${{ env.USER_FOR_TEST != '' }}
uses: burnett01/[email protected]
with:
switches: -rzv
path: docs/_spec/_site/
remote_path: ${{ secrets.SPEC_DEPLOY_PATH }}
remote_host: ${{ secrets.SPEC_DEPLOY_HOST }}
remote_user: ${{ secrets.SPEC_DEPLOY_USER }}
remote_key: ${{ secrets.SPEC_DEPLOY_KEY }}
remote_key_pass: ${{ secrets.SPEC_DEPLOY_PASS }}