Skip to content

Commit d6750dc

Browse files
Update and rename Documentation.yml to Docs.yml
1 parent 08e47db commit d6750dc

File tree

2 files changed

+34
-38
lines changed

2 files changed

+34
-38
lines changed

.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+
3+
on:
4+
push:
5+
branches:
6+
- main
7+
tags: '*'
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+
16+
permissions:
17+
contents: write
18+
pull-requests: read
19+
20+
jobs:
21+
docs:
22+
runs-on: ubuntu-latest
23+
24+
steps:
25+
- name: Build and deploy Documenter.jl docs
26+
uses: TuringLang/actions/DocsDocumenter@main
27+
28+
- name: Run doctests
29+
shell: julia --project=docs --color=yes {0}
30+
run: |
31+
using Documenter: DocMeta, doctest
32+
using SliceSampling
33+
DocMeta.setdocmeta!(SliceSampling, :DocTestSetup, :(using SliceSampling); recursive=true)
34+
doctest(SliceSampling)

.github/workflows/Documentation.yml

Lines changed: 0 additions & 38 deletions
This file was deleted.

0 commit comments

Comments
 (0)