File tree Expand file tree Collapse file tree 7 files changed +75
-9
lines changed Expand file tree Collapse file tree 7 files changed +75
-9
lines changed Original file line number Diff line number Diff line change 1
1
name : CompatHelper
2
2
on :
3
3
schedule :
4
- - cron : ' 00 00 * * *'
4
+ - cron : 0 0 * * *
5
5
workflow_dispatch :
6
6
jobs :
7
7
CompatHelper :
8
8
runs-on : ubuntu-latest
9
9
steps :
10
- - name : Pkg.add("CompatHelper")
11
- run : julia -e 'using Pkg; Pkg.add("CompatHelper")'
12
- - name : CompatHelper.main()
10
+ - name : " Install CompatHelper"
11
+ run : |
12
+ import Pkg
13
+ name = "CompatHelper"
14
+ uuid = "aa819f21-2bde-4658-8897-bab36330d9b7"
15
+ version = "3"
16
+ Pkg.add(; name, uuid, version)
17
+ shell : julia --color=yes {0}
18
+ - name : " Run CompatHelper"
19
+ run : |
20
+ import CompatHelper
21
+ CompatHelper.main()
22
+ shell : julia --color=yes {0}
13
23
env :
14
24
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
15
- COMPATHELPER_PRIV : ${{ secrets.COMPATHELPER_PRIV }} # optional
16
- run : julia -e 'using CompatHelper; CompatHelper.main()'
25
+ COMPATHELPER_PRIV : ${{ secrets.DOCUMENTER_KEY }}
Original file line number Diff line number Diff line change
1
+ name : Docs Preview Cleanup
2
+
3
+ on :
4
+ pull_request :
5
+ types : [closed]
6
+
7
+ jobs :
8
+ docs-preview-cleanup :
9
+ runs-on : ubuntu-latest
10
+ steps :
11
+ - name : Checkout gh-pages branch
12
+ uses : actions/checkout@v2
13
+ with :
14
+ ref : gh-pages
15
+ - name : Delete preview and history + push changes
16
+ run : |
17
+ if [ -d "previews/PR$PRNUM" ]; then
18
+ git config user.name "Documenter.jl"
19
+ git config user.email "[email protected] "
20
+ git rm -rf "previews/PR$PRNUM"
21
+ git commit -m "delete preview"
22
+ git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree})
23
+ git push --force origin gh-pages-new:gh-pages
24
+ fi
25
+ env :
26
+ PRNUM : ${{ github.event.number }}
Original file line number Diff line number Diff line change @@ -2,10 +2,16 @@ name: TagBot
2
2
on :
3
3
schedule :
4
4
- cron : 0 * * * *
5
+ issue_comment :
6
+ types :
7
+ - created
8
+ workflow_dispatch :
5
9
jobs :
6
10
TagBot :
11
+ if : github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
7
12
runs-on : ubuntu-latest
8
13
steps :
9
14
- uses : JuliaRegistries/TagBot@v1
10
15
with :
11
16
token : ${{ secrets.GITHUB_TOKEN }}
17
+ ssh : ${{ secrets.DOCUMENTER_KEY }}
Original file line number Diff line number Diff line change 1
1
name : CI
2
+
2
3
on :
3
4
pull_request :
4
5
branches :
7
8
branches :
8
9
- master
9
10
tags : ' *'
11
+
12
+ concurrency :
13
+ # Skip intermediate builds: always.
14
+ # Cancel intermediate builds: only if it is a pull request build.
15
+ group : ${{ github.workflow }}-${{ github.ref }}
16
+ cancel-in-progress : ${{ startsWith(github.ref, 'refs/pull/') }}
17
+
10
18
jobs :
11
19
test :
12
20
name : Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
42
50
- uses : julia-actions/julia-buildpkg@v1
43
51
- uses : julia-actions/julia-runtest@v1
44
52
- uses : julia-actions/julia-processcoverage@v1
45
- - uses : codecov/codecov-action@v1
53
+ continue-on-error : true
54
+ - uses : codecov/codecov-action@v2
55
+ continue-on-error : true
46
56
with :
47
57
file : lcov.info
Original file line number Diff line number Diff line change 1
1
name : Documentation
2
+
2
3
on :
3
4
push :
4
5
branches :
5
6
- master
6
7
tags : ' *'
7
8
pull_request :
9
+
10
+ concurrency :
11
+ # Skip intermediate builds: always.
12
+ # Cancel intermediate builds: only if it is a pull request build.
13
+ group : ${{ github.workflow }}-${{ github.ref }}
14
+ cancel-in-progress : ${{ startsWith(github.ref, 'refs/pull/') }}
15
+
8
16
jobs :
9
17
build :
10
18
runs-on : ubuntu-latest
11
19
steps :
12
20
- uses : actions/checkout@v2
13
21
- uses : julia-actions/setup-julia@latest
14
22
with :
15
- version : ' 1.5 '
23
+ version : ' 1'
16
24
- name : Install dependencies
17
25
run : julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
18
26
- name : Build and deploy
Original file line number Diff line number Diff line change 1
1
name : IntegrationTest
2
+
2
3
on :
3
4
push :
4
5
branches : [master]
5
6
tags : [v*]
6
7
pull_request :
7
8
9
+ concurrency :
10
+ # Skip intermediate builds: always.
11
+ # Cancel intermediate builds: only if it is a pull request build.
12
+ group : ${{ github.workflow }}-${{ github.ref }}
13
+ cancel-in-progress : ${{ startsWith(github.ref, 'refs/pull/') }}
14
+
8
15
jobs :
9
16
test :
10
17
name : ${{ matrix.package.repo }}/${{ matrix.package.group }}
Original file line number Diff line number Diff line change @@ -9,4 +9,4 @@ makedocs(modules=[DiffRules],
9
9
),
10
10
)
11
11
12
- deploydocs (repo = " github.com/JuliaDiff/DiffRules.jl" )
12
+ deploydocs (; repo = " github.com/JuliaDiff/DiffRules.jl" , push_preview = true )
You can’t perform that action at this time.
0 commit comments