commit | 846671730343d13b8c6d5e3bf6e4d41edd2396cc | [log] [tgz] |
---|---|---|
author | Davide Pesavento <davidepesa@gmail.com> | Sun Apr 14 14:00:44 2024 -0400 |
committer | Davide Pesavento <davidepesa@gmail.com> | Sun Apr 14 17:44:04 2024 -0400 |
tree | 986b6f7957f3699289e46cf7477955a08de9dbb4 | |
parent | 183164ef84216d19343e9c744d48fd2cf2c3fe37 [diff] [blame] |
ci: change Docker workflow to run twice a month and on tag pushes Change-Id: Id3528e537be00fc7d24cb0e4d7868862343bb6e5
diff --git a/Dockerfile b/Dockerfile index 9d73d0b..14a5c65 100644 --- a/Dockerfile +++ b/Dockerfile
@@ -21,6 +21,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