File tree 3 files changed +45
-5
lines changed
3 files changed +45
-5
lines changed 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 41
41
arch : x86
42
42
- version : 1
43
43
os : macOS-latest
44
- arch : x64
44
+ arch : arm64
45
45
- version : 1
46
46
os : windows-latest
47
47
arch : x64
@@ -51,19 +51,19 @@ jobs:
51
51
with :
52
52
version : ${{ matrix.version }}
53
53
arch : ${{ matrix.arch }}
54
- - uses : julia-actions/cache@v1
54
+ - uses : julia-actions/cache@v2
55
55
- uses : julia-actions/julia-buildpkg@v1
56
56
- uses : julia-actions/julia-runtest@v1
57
57
with :
58
58
coverage : ${{ matrix.version == '1' && matrix.os == 'ubuntu-latest' && matrix.arch == 'x64' }}
59
59
- uses : julia-actions/julia-processcoverage@v1
60
60
if : matrix.version == '1' && matrix.os == 'ubuntu-latest' && matrix.arch == 'x64'
61
- - uses : codecov/codecov-action@v4
61
+ - uses : codecov/codecov-action@v5
62
62
if : matrix.version == '1' && matrix.os == 'ubuntu-latest' && matrix.arch == 'x64'
63
63
with :
64
64
fail_ci_if_error : true
65
65
token : ${{ secrets.CODECOV_TOKEN }}
66
- file : lcov.info
66
+ files : lcov.info
67
67
docs :
68
68
name : Documentation
69
69
runs-on : ubuntu-latest
72
72
- uses : julia-actions/setup-julia@v2
73
73
with :
74
74
version : ' 1'
75
- - uses : julia-actions/cache@v1
75
+ - uses : julia-actions/cache@v2
76
76
- uses : julia-actions/julia-buildpkg@v1
77
77
- uses : julia-actions/julia-docdeploy@v1
78
78
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 "[email protected] "
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