diff --git a/.github/workflows/utilities/lint-pr b/.github/workflows/utilities/lint-pr old mode 100644 new mode 100755 diff --git a/.github/workflows/utilities/lint-push b/.github/workflows/utilities/lint-push old mode 100644 new mode 100755