diff --git a/examples/benchmarks/.github/workflows/tests.yml b/examples/benchmarks/.github/workflows/tests.yml deleted file mode 100644 index 89136858..00000000 --- a/examples/benchmarks/.github/workflows/tests.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: Tests - -on: - push: - branches: ["main"] - pull_request: - -jobs: - build: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - - uses: aiken-lang/setup-aiken@v0.1.0 - with: - version: v1 - - - run: aiken fmt --check - - run: aiken check -D - - run: aiken build