diff options
| author | umarcor <38422348+umarcor@users.noreply.github.com> | 2020-05-20 06:45:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-20 06:45:00 +0200 |
| commit | 0e39a575da602ee833996c6ac30adc7c9069622e (patch) | |
| tree | db57c920a4a9b6e52958d1ebb981006ceede5684 /.github/workflows/doc.yml | |
| parent | 42cbe9183ac8f2138ef827180baae4beaee2d3f1 (diff) | |
| download | ghdl-0e39a575da602ee833996c6ac30adc7c9069622e.tar.gz ghdl-0e39a575da602ee833996c6ac30adc7c9069622e.tar.bz2 ghdl-0e39a575da602ee833996c6ac30adc7c9069622e.zip | |
rework 'version.tmp' (#1320)
* msys2: work around makepkg hanging at the end of build()
* ci: update actions/checkout to v2
* make: allow setting default description through GHDL_DESC
* ci: ensure clean git describe on MSYS2
Diffstat (limited to '.github/workflows/doc.yml')
| -rw-r--r-- | .github/workflows/doc.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index ca57d00e2..9431d4f84 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -4,6 +4,6 @@ jobs: linux: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v1 + - uses: actions/checkout@v2 - name: build doc run: ./doc/make.sh |