Skip to content

Commit 466e2cf

Browse files
authored
Run Documenter job on tags (#187)
* Run Documenter job on tags * Add ssh key to tagbot
1 parent 47f4e7e commit 466e2cf

File tree

3 files changed

+35
-17
lines changed

3 files changed

+35
-17
lines changed

.github/workflows/TagBot.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,4 @@ jobs:
99
- uses: JuliaRegistries/TagBot@v1
1010
with:
1111
token: ${{ secrets.GITHUB_TOKEN }}
12+
ssh: ${{ secrets.DOCUMENTER_KEY }}

.github/workflows/ci.yml

Lines changed: 0 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -51,20 +51,3 @@ jobs:
5151
with:
5252
token: ${{ secrets.CODECOV_TOKEN }}
5353
file: lcov.info
54-
docs:
55-
name: Documentation
56-
runs-on: ubuntu-latest
57-
steps:
58-
- uses: actions/checkout@v4
59-
- uses: julia-actions/setup-julia@v1
60-
with:
61-
version: '1'
62-
- run: |
63-
julia --project=docs -e '
64-
using Pkg
65-
Pkg.develop(PackageSpec(path=pwd()))
66-
Pkg.instantiate()'
67-
- run: julia --project=docs docs/make.jl
68-
env:
69-
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
70-
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}

.github/workflows/docs.yml

Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
name: Documentation
2+
on:
3+
push:
4+
branches:
5+
- master
6+
tags: '*'
7+
paths-ignore:
8+
- 'LICENSE'
9+
- 'README.md'
10+
- '.github/workflows/TagBot.yml'
11+
pull_request:
12+
paths-ignore:
13+
- 'LICENSE'
14+
- 'README.md'
15+
- '.github/workflows/TagBot.yml'
16+
jobs:
17+
build:
18+
permissions:
19+
contents: write
20+
statuses: write
21+
runs-on: ubuntu-latest
22+
steps:
23+
- uses: actions/checkout@v4
24+
- uses: julia-actions/setup-julia@v1
25+
with:
26+
version: '1.10'
27+
- uses: julia-actions/cache@v1
28+
- name: Install dependencies
29+
run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
30+
- name: Build and deploy
31+
env:
32+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
33+
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key
34+
run: julia --project=docs/ docs/make.jl

0 commit comments

Comments
 (0)