From d9298af8b8f75651a688d895c105e6ee27ae3671 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sun, 15 Mar 2026 17:15:31 +0000
Subject: [PATCH] Replace push trigger with weekly Monday schedule in
 memory-safety.yml

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: