| commit | 0f10b16d4ce9acf47cfe1a1300f1a18a33f136ed | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Apr 14 18:12:02 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Apr 14 18:12:02 2024 -0400 |
| tree | a426e49c63af0f01730bafd1aab16db92718b164 | |
| parent | 2996cf065e38cc0f42f50e7875c7b09609000655 [diff] [blame] |
ci: change Docker workflow to run twice a month and on tag pushes Change-Id: I2362073eba6df29db1ab1f054621805eb29429fd
diff --git a/Dockerfile b/Dockerfile index 0409463..c266881 100644 --- a/Dockerfile +++ b/Dockerfile
@@ -9,6 +9,7 @@ # use 'apt-get distclean' when we upgrade to ubuntu:24.04 && rm -rf /var/lib/apt/lists/* +ARG JOBS RUN --mount=type=bind,rw,target=/src <<EOF set -eux cd /src