diff options
| author | Andreas Källberg <anka.213@gmail.com> | 2020-09-05 20:36:04 +0200 |
|---|---|---|
| committer | Andreas Källberg <anka.213@gmail.com> | 2020-09-05 20:36:04 +0200 |
| commit | 57c1014e9f2945aa01cd2e46623936fff1c0e1c8 (patch) | |
| tree | 83d43223f8b9e8c68cdb8dc87d8fc83ff2d10d94 /.github | |
| parent | 7268253f5ae4b4883d28faa87b3e63295f04abfd (diff) | |
Update package database on ubuntu build
Fixes 404 error:
https://github.com/GrammaticalFramework/gf-core/runs/1076062405
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build-debian-package.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/build-debian-package.yml b/.github/workflows/build-debian-package.yml index 17bbef66b..09719aaa8 100644 --- a/.github/workflows/build-debian-package.yml +++ b/.github/workflows/build-debian-package.yml @@ -18,6 +18,7 @@ jobs: - name: Install build tools run: | + sudo apt update sudo apt install -y \ make \ dpkg-dev \ |