File tree Expand file tree Collapse file tree 6 files changed +108
-20
lines changed Expand file tree Collapse file tree 6 files changed +108
-20
lines changed Original file line number Diff line number Diff line change
1
+ name : TagBot
2
+ on :
3
+ issue_comment : # THIS BIT IS NEW
4
+ types :
5
+ - created
6
+ workflow_dispatch :
7
+ jobs :
8
+ TagBot :
9
+ # THIS 'if' LINE IS NEW
10
+ if : github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
11
+ # NOTHING BELOW HAS CHANGED
12
+ runs-on : ubuntu-latest
13
+ steps :
14
+ - uses : JuliaRegistries/TagBot@v1
15
+ with :
16
+ token : ${{ secrets.GITHUB_TOKEN }}
17
+ ssh : ${{ secrets.DOCUMENTER_KEY }}
Original file line number Diff line number Diff line change
1
+ name : CI
2
+ on :
3
+ push :
4
+ branches : [main]
5
+ pull_request :
6
+ types : [opened, synchronize, reopened]
7
+ jobs :
8
+ test :
9
+ name : Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
10
+ runs-on : ${{ matrix.os }}
11
+ strategy :
12
+ fail-fast : false
13
+ matrix :
14
+ include :
15
+ - version : " 1"
16
+ os : ubuntu-latest
17
+ arch : x64
18
+ - version : " 1.0"
19
+ os : ubuntu-latest
20
+ arch : x64
21
+ steps :
22
+ - uses : actions/checkout@v2
23
+ - uses : julia-actions/setup-julia@v1
24
+ with :
25
+ version : ${{ matrix.version }}
26
+ arch : ${{ matrix.arch }}
27
+ - uses : actions/cache@v1
28
+ env :
29
+ cache-name : cache-artifacts
30
+ with :
31
+ path : ~/.julia/artifacts
32
+ key : ${{ runner.os }}-test-${{ env.cache-name }}-${{ hashFiles('**/Project.toml') }}
33
+ restore-keys : |
34
+ ${{ runner.os }}-test-${{ env.cache-name }}-
35
+ ${{ runner.os }}-test-
36
+ ${{ runner.os }}-
37
+ - uses : julia-actions/julia-buildpkg@v1
38
+ - uses : julia-actions/julia-runtest@v1
39
+ - uses : julia-actions/julia-processcoverage@v1
40
+ - uses : codecov/codecov-action@v1
41
+ with :
42
+ file : lcov.info
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
+ jobs :
8
+ doc-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
1
+ name : Documentation
2
+ on :
3
+ push :
4
+ branches : [main]
5
+ tags : " *"
6
+ pull_request :
7
+ types : [opened, synchronize, reopened]
8
+ jobs :
9
+ build :
10
+ runs-on : ubuntu-latest
11
+ steps :
12
+ - uses : actions/checkout@v2
13
+ - uses : julia-actions/setup-julia@latest
14
+ with :
15
+ # Build documentation on Julia 1.0
16
+ version : " 1.0"
17
+ - name : Install dependencies
18
+ run : julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
19
+ - name : Build and deploy
20
+ env :
21
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
22
+ run : julia --project=docs/ docs/make.jl
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 1
1
name = " ParserPWF"
2
2
uuid = " 0f4c3beb-4231-4c4d-93e1-709cb40a89e6"
3
- version = " 1.0 .0"
3
+ version = " 0.3 .0"
4
4
5
5
[deps ]
6
6
Documenter = " e30172f5-a6a5-5a46-863b-614d45cd2de4"
You can’t perform that action at this time.
0 commit comments