Merge branch 'main' into development

# Conflicts:
#	.github/workflows/documentation.yml
master
Martin Scheidt 2022-12-30 18:45:44 +01:00
commit 679115df69
1 changed files with 1 additions and 1 deletions

View File

@ -22,6 +22,6 @@ jobs:
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key
run: julia --project=docs/ --code-coverage=railtoolkit docs/make.jl
run: julia --project=docs/ --code-coverage=user docs/make.jl
- uses: julia-actions/julia-processcoverage@v1
- uses: codecov/codecov-action@v3