File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ # https://docs.github.com/github/administering-a-repository/configuration-options-for-dependency-updates
2+ version : 2
3+ updates :
4+ - package-ecosystem : " github-actions"
5+ directory : " /" # Location of package manifests
6+ schedule :
7+ interval : " weekly"
Original file line number Diff line number Diff line change 4141 arch : x86
4242 - version : 1
4343 os : macOS-latest
44- arch : x64
44+ arch : arm64
4545 - version : 1
4646 os : windows-latest
4747 arch : x64
@@ -51,19 +51,19 @@ jobs:
5151 with :
5252 version : ${{ matrix.version }}
5353 arch : ${{ matrix.arch }}
54- - uses : julia-actions/cache@v1
54+ - uses : julia-actions/cache@v2
5555 - uses : julia-actions/julia-buildpkg@v1
5656 - uses : julia-actions/julia-runtest@v1
5757 with :
5858 coverage : ${{ matrix.version == '1' && matrix.os == 'ubuntu-latest' && matrix.arch == 'x64' }}
5959 - uses : julia-actions/julia-processcoverage@v1
6060 if : matrix.version == '1' && matrix.os == 'ubuntu-latest' && matrix.arch == 'x64'
61- - uses : codecov/codecov-action@v4
61+ - uses : codecov/codecov-action@v5
6262 if : matrix.version == '1' && matrix.os == 'ubuntu-latest' && matrix.arch == 'x64'
6363 with :
6464 fail_ci_if_error : true
6565 token : ${{ secrets.CODECOV_TOKEN }}
66- file : lcov.info
66+ files : lcov.info
6767 docs :
6868 name : Documentation
6969 runs-on : ubuntu-latest
7272 - uses : julia-actions/setup-julia@v2
7373 with :
7474 version : ' 1'
75- - uses : julia-actions/cache@v1
75+ - uses : julia-actions/cache@v2
7676 - uses : julia-actions/julia-buildpkg@v1
7777 - uses : julia-actions/julia-docdeploy@v1
7878 env :
Original file line number Diff line number Diff line change 1+ name : Doc Preview Cleanup
2+
3+ on :
4+ pull_request :
5+ types : [closed]
6+
7+ # Ensure that only one "Doc Preview Cleanup" workflow is force pushing at a time
8+ concurrency :
9+ group : doc-preview-cleanup
10+ cancel-in-progress : false
11+
12+ jobs :
13+ doc-preview-cleanup :
14+ runs-on : ubuntu-latest
15+ permissions :
16+ contents : write
17+ steps :
18+ - name : Checkout gh-pages branch
19+ uses : actions/checkout@v4
20+ with :
21+ ref : gh-pages
22+ - name : Delete preview and history + push changes
23+ run : |
24+ if [ -d "${preview_dir}" ]; then
25+ git config user.name "Documenter.jl"
26+ git config user.email "documenter@juliadocs.github.io"
27+ git rm -rf "${preview_dir}"
28+ git commit -m "delete preview"
29+ git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree})
30+ git push --force origin gh-pages-new:gh-pages
31+ fi
32+ env :
33+ preview_dir : previews/PR${{ github.event.number }}
You can’t perform that action at this time.
0 commit comments