Merge pull request #31 from ElNiak/development-formal-attacks

Development formal attacks
ElNiak · Jun 3, 2024 · a52f774 · a52f774
2 parents 957f013 + b033bdf
commit a52f774
Show file tree

Hide file tree

Showing 8 changed files with 56 additions and 405 deletions.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -6,15 +6,15 @@
 version: 2
 updates:
   - package-ecosystem: "pip" # See documentation for possible values
-    directory: "src/panther/setup.py" # Location of package manifests
+    directory: "setup.py" # Location of package manifests
     schedule:
       interval: "weekly"
   - package-ecosystem: "docker" # See documentation for possible values
-    directory: "src/containers/Dockerfile.ivy_1" # Location of package manifests
+    directory: "panther/panther_worker/Dockerfile.ivy_1" # Location of package manifests
     schedule:
       interval: "weekly"
   - package-ecosystem: "docker" # See documentation for possible values
-    directory: "src/containers/Dockerfile.ivy_2" # Location of package manifests
+    directory: "panther/panther_worke/Dockerfile.ivy_2" # Location of package manifests
     schedule:
       interval: "weekly"
 
diff --git a/mkdocs.yaml b/mkdocs.yaml
@@ -18,4 +18,9 @@ theme:
       scheme: slate
       toggle:
         icon: material/brightness-4
-        name: Switch to system preference
+        name: Switch to system preference
+markdown_extensions:
+  - attr_list
+  - pymdownx.emoji:
+      emoji_index: !!python/name:pymdownx.emoji.gemoji
+      emoji_generator: !!python/name:pymdownx.emoji.to_alt
diff --git a/mkgendocs.yaml b/mkgendocs.yaml
diff --git a/old.Makefile b/old.Makefile
diff --git a/panther/panther_worker/app/panther-ivy b/panther/panther_worker/app/panther-ivy