ci: fix name of wrapper
This commit is contained in:
parent
80904599e6
commit
2a4bbfa945
|
@ -15,9 +15,9 @@ jobs:
|
||||||
with:
|
with:
|
||||||
github_access_token: ${{ secrets.GITHUB_TOKEN }}
|
github_access_token: ${{ secrets.GITHUB_TOKEN }}
|
||||||
- name: document
|
- name: document
|
||||||
run: nix develop --command l3build-wrapper doc
|
run: nix develop --command l3build-wrapped doc
|
||||||
- name: build
|
- name: build
|
||||||
run: nix develop --command l3build-wrapper ctan -q -H --show-log-on-error
|
run: nix develop --command l3build-wrapped ctan -q -H --show-log-on-error
|
||||||
release:
|
release:
|
||||||
if: ${{ github.ref == 'refs/heads/main' }}
|
if: ${{ github.ref == 'refs/heads/main' }}
|
||||||
permissions:
|
permissions:
|
||||||
|
|
Loading…
Reference in New Issue