From 17d00957e62dbf1e2b0d79811848fd71a1aca243 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Wed, 26 Aug 2026 10:27:26 +0000
Subject: [PATCH] ci: allow manual runs of foundry and formatting workflows

Add workflow_dispatch to foundry.yml and formatting.yml so they can be
re-run on demand, matching certora.yml here and both workflows in
morpho-blue.
---
 .github/workflows/formatting.yml | 1 +
 .github/workflows/foundry.yml    | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/formatting.yml b/.github/workflows/formatting.yml
index 6d2f8eae..87b885f1 100644
--- a/.github/workflows/formatting.yml
+++ b/.github/workflows/formatting.yml
@@ -5,6 +5,7 @@ on:
     branches:
       - main
   pull_request:
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}
diff --git a/.github/workflows/foundry.yml b/.github/workflows/foundry.yml
index de490ab6..bacf5e23 100644
--- a/.github/workflows/foundry.yml
+++ b/.github/workflows/foundry.yml
@@ -5,6 +5,7 @@ on:
     branches:
       - main
   pull_request:
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}