diff --git a/.github/workflows/solidity_verifier_test.yml b/.github/workflows/solidity_verifier_test.yml deleted file mode 100644 index 8203b494ba..0000000000 --- a/.github/workflows/solidity_verifier_test.yml +++ /dev/null @@ -1,23 +0,0 @@ -name: solidity-verifier-test - -on: - - workflow_dispatch - - push - -env: - FOUNDRY_PROFILE: ci - -jobs: - check: - strategy: - fail-fast: true - - name: Solidity Verifier Tests - runs-on: ubuntu-20.04 - steps: - - uses: actions/checkout@v3 - with: - submodules: recursive - - - name: Build docker image - run: docker build . -f sol/Dockerfile \ No newline at end of file