From 93092fd44e7bbb5442ffef464a7bc3364cecf272 Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Wed, 24 Jan 2024 12:17:57 -0700
Subject: [PATCH] Only run test on dispatch testing, fix repo name in json

---
 .github/workflows/test.yaml | 2 +-
 test/automerge.json         | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
index d4a5837..c6e9137 100644
--- a/.github/workflows/test.yaml
+++ b/.github/workflows/test.yaml
@@ -1,6 +1,6 @@
 name: Test Workflow
 
-on: [push, pull_request, workflow_dispatch]
+on: [workflow_dispatch]
 
 jobs:
   list:
diff --git a/test/automerge.json b/test/automerge.json
index 038e216..37e65f1 100644
--- a/test/automerge.json
+++ b/test/automerge.json
@@ -2,6 +2,6 @@
   "devops-actions",
   "k",
   "pyk",
-  "foundrydemo",
+  "foundry-demo",
   "evm-semantics"
 ]
\ No newline at end of file