From 13da9cc68735187f616d9db2f5d3bd25f2831aa4 Mon Sep 17 00:00:00 2001 From: Al Liu Date: Fri, 6 Oct 2023 03:00:42 +0800 Subject: [PATCH] chmod --- ci/miri.sh | 0 ci/sanitizer.sh | 0 2 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 ci/miri.sh mode change 100644 => 100755 ci/sanitizer.sh diff --git a/ci/miri.sh b/ci/miri.sh old mode 100644 new mode 100755 diff --git a/ci/sanitizer.sh b/ci/sanitizer.sh old mode 100644 new mode 100755