diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/build-pdf.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build-pdf.yml b/.github/workflows/build-pdf.yml index 736ce70..a90201a 100644 --- a/.github/workflows/build-pdf.yml +++ b/.github/workflows/build-pdf.yml @@ -20,7 +20,7 @@ on: jobs: build: - runs-on: ubuntu-latest + runs-on: ubuntu-20.04 env: NAME: unpriv-isa-asciidoc |