From 08eb25e14ce939243c019dee528b32a9bbd94e9f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 10 Feb 2026 15:08:36 -0800
Subject: [PATCH] Add network permissions to Python workflow

---
 .github/workflows/a3-python.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/a3-python.md b/.github/workflows/a3-python.md
index 81cbd4d37..e0efd15b5 100644
--- a/.github/workflows/a3-python.md
+++ b/.github/workflows/a3-python.md
@@ -7,6 +7,8 @@ permissions:
   contents: read
   issues: read
   pull-requests: read
+network:
+   allowed: [default, python]
 safe-outputs:
   create-issue:
     labels: