wip: Disable workflows and fix model-validation

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

Hide file tree

Showing 4 changed files with 1 addition and 1 deletion.
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