From 6fdb4e07a112170cf1bd4c5cb993ef3f5f527b7a Mon Sep 17 00:00:00 2001
From: Maddiaa0 <47148561+Maddiaa0@users.noreply.github.com>
Date: Tue, 23 May 2023 15:03:16 +0000
Subject: [PATCH] patch: temporarily remove broken solidity ci

---
 .github/workflows/solidity_verifier_test.yml | 23 --------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 .github/workflows/solidity_verifier_test.yml

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