diff --git a/.github/workflows/diagram-cache.yml b/.github/workflows/diagram-cache.yml.disabled similarity index 100% rename from .github/workflows/diagram-cache.yml rename to .github/workflows/diagram-cache.yml.disabled diff --git a/.github/workflows/model-badge.yml b/.github/workflows/model-badge.yml.disabled similarity index 100% rename from .github/workflows/model-badge.yml rename to .github/workflows/model-badge.yml.disabled diff --git a/.github/workflows/model-validation.yml b/.github/workflows/model-validation.yml index ca55c3f..6f1bfc0 100644 --- 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 \ No newline at end of file + VERSION: 6.0.0 diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml.disabled similarity index 100% rename from .github/workflows/pre-commit.yml rename to .github/workflows/pre-commit.yml.disabled