feat: add ef-tests to CI (#755)

## Pull request type

<!-- Please try to limit your pull request to one type,
submit multiple pull requests if needed. -->

Please check the type of change your PR introduces:

- [ ] Bugfix
- [x] Feature
- [ ] Code style update (formatting, renaming)
- [ ] Refactoring (no functional changes, no api changes)
- [ ] Build related changes
- [ ] Documentation content changes
- [ ] Other (please describe):

## What is the current behavior?

The current kakarot changes that are pushed are not tested against the
current set of passing ef-tests.

Resolves #730 

## What is the new behavior?

- All new Kakarot changes are tested against ef-tests


We have the following flow:
- build kakarot for the current proposed change
- create a katana dump for the change via RPC
- run ef-tests against this dump

---------

Co-authored-by: Harsh Bajpai <[email protected]>

.github/actionlint.yaml

@@ -1,3 +1,4 @@
 self-hosted-runner:
   labels:
     - ubuntu-latest-16-cores
+    - ubuntu-latest-32-cores

.github/workflows/ci.yml

@@ -49,6 +49,13 @@ jobs:
       - name: Compile all the cairo files
         run: make build
 
+      # Upload artifacts
+      - name: Uploads Kakarot build artifacts
+        uses: actions/upload-artifact@v3
+        with:
+          name: kakarot-build
+          path: ./build
+
   tests:
     runs-on: ubuntu-latest-16-cores
     env:
@@ -109,6 +116,32 @@ jobs:
           path: ./coverage/
           name: coverage
 
+  ef-tests:
+    runs-on: ubuntu-latest-32-cores
+    needs: build
+    steps:
+      - name: Checkout ef-tests
+        uses: actions/checkout@v3
+        with:
+          repository: kkrt-labs/ef-tests
+      - name: Rust cache
+        uses: Swatinem/rust-cache@v2
+        with:
+          cache-on-failure: "true"
+      - name: setup
+        run: make setup
+      - uses: taiki-e/install-action@nextest
+
+      - name: Download Kakarot build artifacts
+        uses: actions/download-artifact@v3
+        with:
+          name: kakarot-build
+          path: ./lib/kakarot/build
+
+      # run tests
+      - name: run tests
+        run: cargo test -p ef-testing --features ef-tests -- --nocapture
+
   resources:
     runs-on: ubuntu-latest
     needs: tests

.gitignore

@@ -34,7 +34,7 @@ coverage/*
 blockhashes.json
 deployed_addresses.json
 
-# thoth relateds stuff 
+# thoth relateds stuff
 output-callgraph/*
 build/*
 docs/callgraphs/*

Makefile

@@ -17,7 +17,7 @@ test: build-sol deploy
 	poetry run pytest tests/integration tests/src -m "not EFTests" --log-cli-level=INFO -n logical
 	poetry run pytest tests/end_to_end
 
-test-no-log: build-sol deploy 
+test-no-log: build-sol deploy
 	poetry run pytest tests/integration tests/src -m "not EFTests" -n logical
 	poetry run pytest tests/end_to_end