diff options
author | Francesco Borzì <borzifrancesco@gmail.com> | 2020-08-13 00:25:20 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-13 00:25:20 +0200 |
commit | d2cc3fcbc2d7bf0b185eb03d169afc9783870568 (patch) | |
tree | 4552cde3342e491fabab5f435750e1f8fb115442 /.github | |
parent | c83c53e7182c9f41e029a3f28ed0d6258b561263 (diff) |
feat(Docker): update to Ubuntu 20.04 + more improvements (#3277)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/core_build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/core_build.yml b/.github/workflows/core_build.yml index 75bd8051bb..7d9106132c 100644 --- a/.github/workflows/core_build.yml +++ b/.github/workflows/core_build.yml @@ -57,4 +57,4 @@ jobs: ./bin/acore-docker-generate-etc - name: Build run: | - ./bin/acore-docker-build-no-scripts + ./bin/acore-docker-build |