1818 with :
1919 app-id : 999945
2020 private-key : ${{ secrets.RESYNTAX_APP_PRIVATE_KEY }}
21+ owner : jackfirth
2122
2223 - name : Get GitHub App User ID
2324 id : get-user-id
@@ -35,10 +36,12 @@ jobs:
35363637 with :
3738 version : current
38- local_catalogs : $GITHUB_WORKSPACE
39+ distribution : minimal
40+ dest : ${HOME}/racketdist
41+ sudo : never
3942
40- - name : Ensure test corpus packages are installed
41- run : raco pkg install --auto --no-setup scribble-doc scribble-html-lib scribble-lib scribble-test scribble-text-lib scribble
43+ - name : Ensure all test corpus packages are installed
44+ run : raco pkg install --auto --no-setup --installation --skip-installed scribble-doc scribble-html-lib scribble-lib scribble-test scribble-text-lib scribble
4245
4346 - name : Update test corpus packages to local dirs
4447 run : raco pkg update --link --no-setup scribble-8.18/scribble-doc scribble-8.18/scribble-html-lib scribble-8.18/scribble-lib scribble-8.18/scribble-test scribble-8.18/scribble-text-lib scribble-8.18/scribble
@@ -63,32 +66,34 @@ jobs:
6366
6467 - name : Run Resyntax
6568 id : run-resyntax
69+ # --package scribble-doc \
70+ # --package scribble-html-lib \
71+ # --package scribble-lib \
72+ # --package scribble-test \
73+ # --package scribble-text-lib \
74+ # --package scribble \
6675 run : |
6776 echo "SUMMARY_JSON=$(racket -l- resyntax/cli fix \
68- --package scribble-doc \
69- --package scribble-html-lib \
70- --package scribble-lib \
71- --package scribble-test \
72- --package scribble-text-lib \
73- --package scribble \
77+ --file scribble-8.18/scribble-lib/scribble/core.rkt \
7478 --refactoring-rule "${{ inputs.rule-name }}" \
7579 --max-pass-count 1 \
7680 --output-as-json \
7781 --create-multiple-commits)" >> "$GITHUB_OUTPUT"
82+
83+ - name : Log summary JSON
84+ run : echo '${{ steps.run-resyntax.outputs.SUMMARY_JSON }}'
7885
7986 - name : Push fixes to remote branch
80- if : ${{ steps.run-resyntax.outputs.SUMMARY_JSON.fix_count > 0 }}
87+ if : ${{ fromJSON( steps.run-resyntax.outputs.SUMMARY_JSON) .fix_count > 0 }}
81888289 with :
8390 github-token : ${{ steps.generate-token.outputs.token }}
8491 script : |
8592 await exec.exec(
86- 'git push --set-upstream origin autofix-${{ github.run_number }}-${{ github.run_attempt }}',
87- [],
88- {cwd: 'cloned-package'});
93+ 'git push --set-upstream origin autofix-${{ github.run_number }}-${{ github.run_attempt }}');
8994
9095 - name : Create pull request
91- if : ${{ steps.run-resyntax.outputs.SUMMARY_JSON.fix_count > 0 }}
96+ if : ${{ fromJSON( steps.run-resyntax.outputs.SUMMARY_JSON) .fix_count > 0 }}
92979398 env :
9499 SUMMARY_JSON : ${{ steps.run-resyntax.outputs.SUMMARY_JSON }}
0 commit comments