diff options
| author | Christian Grothoff <christian@grothoff.org> | 2024-09-15 11:12:46 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2024-09-15 11:12:46 +0200 |
| commit | 23399f8072d6e34c8900134fda2e63969043ac07 (patch) | |
| tree | ca64c0087691613b7885acf3109a5f6f861ef009 | |
| parent | 47a127eec515453f7f5fc89e9fc8a0347f4bd047 (diff) | |
-make job executable
| -rwxr-xr-x[-rw-r--r--] | contrib/ci/jobs/7-arm64-deb-package/job.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/ci/jobs/7-arm64-deb-package/job.sh b/contrib/ci/jobs/7-arm64-deb-package/job.sh index 3270feb6..3270feb6 100644..100755 --- a/contrib/ci/jobs/7-arm64-deb-package/job.sh +++ b/contrib/ci/jobs/7-arm64-deb-package/job.sh |