Skip to content

Add supports for type cast and filtering type for field and method owner in global initialization checker #2857

Add supports for type cast and filtering type for field and method owner in global initialization checker

Add supports for type cast and filtering type for field and method owner in global initialization checker #2857

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
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 }}