Only run test on dispatch testing, fix repo name in json

runtimeverification · Jan 24, 2024 · 93092fd · 93092fd
1 parent e3cf14d
commit 93092fd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -2,6 +2,6 @@
   "devops-actions",
   "k",
   "pyk",
-  "foundrydemo",
+  "foundry-demo",
   "evm-semantics"
 ]