commit 846671730343d13b8c6d5e3bf6e4d41edd2396cc
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

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

Change-Id: Id3528e537be00fc7d24cb0e4d7868862343bb6e5

.github/workflows/docker.yml

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index f344276..72eaefd 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -1,15 +1,11 @@
 name: Docker
 on:
   push:
-    branches:
-      - master
-    paths-ignore:
-      - '.editorconfig'
-      - 'examples/**'
-      - '.jenkins'
-      - '.jenkins.d/**'
-      - '.mailmap'
-      - 'tests/**'
+    tags:
+      - 'ndn-cxx-*'
+  schedule:
+    # twice a month
+    - cron: '20 4 5,20 * *'
   workflow_dispatch:
 
 permissions:

Dockerfile

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