usb-tools/amaranth
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

CI: fix publish-docs job.

Browse source
This commit is contained in:
Catherine 2023-05-12 17:31:23 +00:00
parent 61a8f21319
commit a5ffa38e64
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/main.yaml vendored
View file

@ -84,6 +84,10 @@ jobs:
if: github.repository == 'amaranth-lang/amaranth'
runs-on: ubuntu-latest
steps:
- name: Check out source code
uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Download documentation archive
uses: actions/download-artifact@v3
with: