diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2020-11-30 04:37:26 +0100 |
|---|---|---|
| committer | umarcor <unai.martinezcorral@ehu.eus> | 2020-11-30 05:04:53 +0100 |
| commit | 529db08c06789b3783042af06b2719cc4e5f289e (patch) | |
| tree | 65776cf297868bce2ee3b6fdd842baca932e8f90 /.github/workflows/doc.yml | |
| parent | d4138d0190c959a41ada6e490ee37352b0244cf2 (diff) | |
| download | ghdl-529db08c06789b3783042af06b2719cc4e5f289e.tar.gz ghdl-529db08c06789b3783042af06b2719cc4e5f289e.tar.bz2 ghdl-529db08c06789b3783042af06b2719cc4e5f289e.zip | |
ci: add emojis
Diffstat (limited to '.github/workflows/doc.yml')
| -rw-r--r-- | .github/workflows/doc.yml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 6607523b5..5cd33e03b 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -6,9 +6,11 @@ on: jobs: linux: runs-on: ubuntu-latest + name: '📓 Docs' steps: - - uses: actions/checkout@v2 + - name: '🧰 Checkout' + uses: actions/checkout@v2 - name: Build ghdl/doc run: | @@ -32,11 +34,13 @@ jobs: chmod +x run.sh docker run --rm -v $(pwd):/src -w /src ghdl/doc ./run.sh - - uses: buildthedocs/btd@v0 + - name: '📓 BuildTheDocs (BTD)' + uses: buildthedocs/btd@v0 with: token: ${{ github.token }} - - uses: actions/upload-artifact@v2 + - name: '📤 Upload artifact: HTML and LaTeX' + uses: actions/upload-artifact@v2 with: name: doc path: | |