zymon/PortAudio.jl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix name of documentation scripts (#80)

Browse source
This commit is contained in:
Robert Luke 2021-08-11 19:54:15 +10:00 committed by GitHub
parent 8a3b0d2a8a
commit 7799ea1749
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/permanent.yml → .github/workflows/Documentation.yml vendored
View file

@ -1,4 +1,4 @@
name: permanent name: Build documentation
on: on:
push: push:
branches: branches:
@ -13,4 +13,4 @@ jobs:
version: '1.6' version: '1.6'
- uses: julia-actions/julia-docdeploy@releases/v1 - uses: julia-actions/julia-docdeploy@releases/v1
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}