wip: Disable workflows and fix model-validation

DSD-DBS · Oct 6, 2023 · b4cab54 · b4cab54
1 parent 17d8e7b
commit b4cab54
Show file tree

Hide file tree

Showing 11 changed files with 1 addition and 5,258 deletions.
diff --git a/.github/workflows/diagram-cache.yml → .github/workflows/diagram-cache.yml.disabled b/.github/workflows/diagram-cache.yml → .github/workflows/diagram-cache.yml.disabled
diff --git a/.github/workflows/model-badge.yml → .github/workflows/model-badge.yml.disabled b/.github/workflows/model-badge.yml → .github/workflows/model-badge.yml.disabled
diff --git a/.github/workflows/model-validation.yml b/.github/workflows/model-validation.yml
@@ -19,4 +19,4 @@ jobs:
         # Relative entrypoint to .aird file inside repository (starting from the root of the repository).
         # Example: test/test.aird
         ENTRYPOINT: "coffee-machine-demo.aird"
-        VERSION: 6.0.0
+        VERSION: 6.0.0
diff --git a/.github/workflows/pre-commit.yml → .github/workflows/pre-commit.yml.disabled b/.github/workflows/pre-commit.yml → .github/workflows/pre-commit.yml.disabled
diff --git a/project/.project b/project/.project
diff --git a/project/coffee-machine-demo.afm b/project/coffee-machine-demo.afm
diff --git a/project/coffee-machine-demo.afm.license b/project/coffee-machine-demo.afm.license
diff --git a/project/coffee-machine-demo.aird b/project/coffee-machine-demo.aird
diff --git a/project/coffee-machine-demo.aird.license b/project/coffee-machine-demo.aird.license
diff --git a/project/coffee-machine-demo.capella b/project/coffee-machine-demo.capella
diff --git a/project/coffee-machine-demo.capella.license b/project/coffee-machine-demo.capella.license