From 02171d74355d914db7ce3d8bd7c8ebd733c98989 Mon Sep 17 00:00:00 2001 From: Serein Pfeiffer Date: Mon, 5 Oct 2026 09:04:30 +0200 Subject: [PATCH 1/2] Always regenerate sources in CI by ignoring timestamps --- .github/workflows/build_linux.yml | 2 +- .github/workflows/build_windows.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build_linux.yml b/.github/workflows/build_linux.yml index cbc88ef..b342774 100644 --- a/.github/workflows/build_linux.yml +++ b/.github/workflows/build_linux.yml @@ -46,7 +46,7 @@ jobs: mvn dependency:copy -Dmaven.repo.local="build/download" \ -Dartifact=io.github.ndsev:zserio:LATEST \ -DoutputDirectory="build" -Dmdep.stripVersion=true - java -jar build/zserio.jar -java src tutorial.zs + java -jar build/zserio.jar -ignoreTimestamps -java src tutorial.zs javac -d build -cp build/zserio-runtime.jar src/Main.java src/**/*.java - name: Test Zserio Java tutorial (sources regeneration) diff --git a/.github/workflows/build_windows.yml b/.github/workflows/build_windows.yml index 9310df4..196f904 100644 --- a/.github/workflows/build_windows.yml +++ b/.github/workflows/build_windows.yml @@ -48,7 +48,7 @@ jobs: mvn dependency:copy -Dmaven.repo.local="build/download" \ -Dartifact=io.github.ndsev:zserio:LATEST \ -DoutputDirectory="build" -Dmdep.stripVersion=true - java -jar build/zserio.jar -java src tutorial.zs + java -jar build/zserio.jar -ignoreTimestamps -java src tutorial.zs javac -d build -cp build/zserio-runtime.jar src/Main.java src/**/*.java shell: bash From 2053e602adda592d1b9ee04fbcdae01d7a2d414c Mon Sep 17 00:00:00 2001 From: Serein Pfeiffer Date: Mon, 5 Oct 2026 09:04:30 +0200 Subject: [PATCH 2/2] Fail sources regeneration on a non-empty git diff --- .github/workflows/build_linux.yml | 2 ++ .github/workflows/build_windows.yml | 2 ++ 2 files changed, 4 insertions(+) diff --git a/.github/workflows/build_linux.yml b/.github/workflows/build_linux.yml index b342774..17b365f 100644 --- a/.github/workflows/build_linux.yml +++ b/.github/workflows/build_linux.yml @@ -47,6 +47,8 @@ jobs: -Dartifact=io.github.ndsev:zserio:LATEST \ -DoutputDirectory="build" -Dmdep.stripVersion=true java -jar build/zserio.jar -ignoreTimestamps -java src tutorial.zs + git add --intent-to-add src + git diff --exit-code -- src javac -d build -cp build/zserio-runtime.jar src/Main.java src/**/*.java - name: Test Zserio Java tutorial (sources regeneration) diff --git a/.github/workflows/build_windows.yml b/.github/workflows/build_windows.yml index 196f904..7f4a6bc 100644 --- a/.github/workflows/build_windows.yml +++ b/.github/workflows/build_windows.yml @@ -49,6 +49,8 @@ jobs: -Dartifact=io.github.ndsev:zserio:LATEST \ -DoutputDirectory="build" -Dmdep.stripVersion=true java -jar build/zserio.jar -ignoreTimestamps -java src tutorial.zs + git add --intent-to-add src + git diff --exit-code -- src javac -d build -cp build/zserio-runtime.jar src/Main.java src/**/*.java shell: bash