changeset 32993:b9c6ed013576

maint: Merge stable to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Fri, 09 Feb 2024 17:38:47 +0100
parents 749617dc63eb (current diff) 88bff22985bd (diff)
children 4be40c3c11ba 63b8d8629460
files .github/workflows/make.yaml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/.github/workflows/make.yaml	Thu Feb 08 11:35:20 2024 -0800
+++ b/.github/workflows/make.yaml	Fri Feb 09 17:38:47 2024 +0100
@@ -1089,7 +1089,7 @@
 
       - name: rebase binaries
         run: |
-          find ${GITHUB_WORKSPACE}/.build -name "*.oct" -or -name "*.dll" -or -name "*.exe" | tee binaries.list
+          find ${GITHUB_WORKSPACE}/.build -name "*.oct" -or -name "*.dll" | tee binaries.list
           rebase -O -T binaries.list
 
       - name: check