update requirements for local run, increase repo test size

runtimeverification · Jan 24, 2024 · 8f6ee73 · 8f6ee73
1 parent b07aedd
commit 8f6ee73
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/requirements.txt b/requirements.txt
@@ -1,4 +1,4 @@
 # Runtime Requirements
 logging 
-github
+PyGithub
 argparse
diff --git a/test/automerge.json b/test/automerge.json
@@ -1,3 +1,7 @@
 [
-  "devops-actions"
+  "devops-actions",
+  "k",
+  "pyk",
+  "foundrydemo",
+  "evm-semantics"
 ]