commit 0f10b16d4ce9acf47cfe1a1300f1a18a33f136ed
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

ci: change Docker workflow to run twice a month and on tag pushes

Change-Id: I2362073eba6df29db1ab1f054621805eb29429fd

.github/workflows/docker.yml

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 172f8d2..e054ec3 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -1,16 +1,11 @@
 name: Docker
 on:
   push:
-    branches:
-      - master
-    paths-ignore:
-      - '.editorconfig'
-      - '.jenkins'
-      - '.jenkins.d/**'
-      - 'launchd/**'
-      - '.mailmap'
-      - 'systemd/**'
-      - 'tests/**'
+    tags:
+      - 'NFD-*'
+  schedule:
+    # twice a month
+    - cron: '20 8 5,20 * *'
   workflow_dispatch:
 
 permissions:

Dockerfile

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