From 9256dd66e6d34a6f7eb8ac3f8cbc880856d0a246 Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Sun, 15 Mar 2026 10:26:10 -0700
Subject: [PATCH] Switch memory-safety workflow from push to weekly Monday
 schedule (#9001)

* Initial plan

* Replace push trigger with weekly Monday schedule in memory-safety.yml

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/memory-safety.yml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/memory-safety.yml b/.github/workflows/memory-safety.yml
index ad1095438..cd9c2d110 100644
--- a/.github/workflows/memory-safety.yml
+++ b/.github/workflows/memory-safety.yml
@@ -1,11 +1,8 @@
 name: Memory Safety Analysis
 
 on:
-  push:
-    branches: ["**"]
-    paths:
-      - 'src/**'
-      - '.github/workflows/memory-safety.yml'
+  schedule:
+    - cron: '0 0 * * 1'
   workflow_dispatch:
     inputs:
       full_scan: