Merge remote-tracking branch 'main_repo/main' into scala

.github/workflows/build-readme.yml

@@ -10,27 +10,23 @@ jobs:
  Build:
  runs-on: ubuntu-latest
 
- strategy:
- matrix:
- node-version: [16.x]
-
  steps:
  - uses: actions/checkout@v3
  with:
  ref: ${{ github.head_ref }}
  fetch-depth: 1
 
  - name: Use Node.js (dependency)
- uses: actions/setup-node@v1
+ uses: actions/setup-node@v3
  with:
- node-version: ${{ matrix.node-version }}
+ node-version: 16
 
  - name: Completion Table
  run: node ./.github/workflows/updateCompletionTable.js;
 
  - name: Check for modified files
  id: git-check
- run: echo ::set-output name=modified::$(if git diff-index --quiet HEAD --; then echo "false"; else echo "true"; fi)
+ run: echo modified=$(if git diff-index --quiet HEAD --; then echo "false"; else echo "true"; fi) >> $GITHUB_OUTPUT
 
  - name: Push
  if: steps.git-check.outputs.modified == 'true'

.github/workflows/stale.yml

@@ -24,10 +24,10 @@ jobs:
  repo-token: ${{ secrets.GITHUB_TOKEN }}
  stale-issue-message: 'Stale issue message'
  stale-pr-message: 'Stale pull request message'
- stale-issue-label: 'no-issue-activity'
- stale-pr-label: 'no-pr-activity'
+ stale-issue-label: 'stale'
+ stale-pr-label: 'stale'
  days-before-stale: 30
  days-before-close: 7
- days-before-issue-stale: 90
+ days-before-issue-stale: 900
  exempt-milestones: true
  exempt-pr-labels: 'pending'