From cb070ad22b457384f7a2d6a7ab8098a54687dc33 Mon Sep 17 00:00:00 2001
From: Ben Mares <services-git-throwaway1@tensorial.com>
Date: Sun, 25 Aug 2024 21:46:42 +0200
Subject: [PATCH] Make run_mypy script executable

---
 scripts/run_mypy.py | 1 +
 1 file changed, 1 insertion(+)
 mode change 100644 => 100755 scripts/run_mypy.py

diff --git a/scripts/run_mypy.py b/scripts/run_mypy.py
old mode 100644
new mode 100755
index df1962e2fef..f5a0b6d3ac8
--- a/scripts/run_mypy.py
+++ b/scripts/run_mypy.py
@@ -1,3 +1,4 @@
+#!/usr/bin/env python
 """
 Invokes mypy and compare the reults with files in /pymc except tests
 and a list of files that are known to fail.