File tree Expand file tree Collapse file tree 4 files changed +6
-4
lines changed Expand file tree Collapse file tree 4 files changed +6
-4
lines changed Original file line number Diff line number Diff line change @@ -25,7 +25,7 @@ concurrency:
2525 cancel-in-progress : ${{ startsWith(github.ref, 'refs/pull/') }}
2626
2727env :
28- JULIA_NUM_THREADS : 10
28+ JULIA_NUM_THREADS : auto
2929
3030jobs :
3131 # Build job
4040 - uses : julia-actions/julia-buildpkg@v1
4141 - uses : julia-actions/julia-docdeploy@v1
4242 env :
43+ JULIA_NUM_THREADS : auto
4344 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
4445 DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
4546 JULIA_DEBUG : " Documenter"
Original file line number Diff line number Diff line change 1010 - name : Checkout Actions Repository
1111 uses : actions/checkout@v4
1212 - name : Check spelling
13- uses : crate-ci/typos@v1.33.1
13+ uses : crate-ci/typos@v1.34.0
Original file line number Diff line number Diff line change @@ -15,7 +15,7 @@ concurrency:
1515 cancel-in-progress : ${{ startsWith(github.ref, 'refs/pull/') }}
1616
1717env :
18- JULIA_NUM_THREADS : 11
18+ JULIA_NUM_THREADS : auto
1919
2020jobs :
2121 test :
Original file line number Diff line number Diff line change 11[default .extend-words ]
22# Don't correct the surname "Teh"
3- multline = " multline"
3+ multline = " multline"
4+ setp = " setp"
You can’t perform that action at this time.
0 commit comments