Update config.yml

.circleci/config.yml

@@ -1346,7 +1346,7 @@ jobs:
           command: |
             ./ops/scripts/ci-match-values-between-files.sh "<< parameters.file1_path >>" "<< parameters.pattern_file1 >>" "<< parameters.file2_path >>" "<< parameters.pattern_file2 >>"
 
-  test-proofs:
+  kontrol-tests:
     machine:
       image: ubuntu-2204:2023.07.2
     steps:
@@ -1354,7 +1354,7 @@ jobs:
       - check-changed:
           patterns: contracts-bedrock/test/kontrol,contracts-bedrock/src/L1/OptimismPortal\.sol
       - run:
-          name: "Start Docker Container"
+          name: Start Docker Container
           command: |
             export KONTROL_VERSION=$(cat ../../.kontrolrc)
             docker run --name optimism-ci \
@@ -1369,7 +1369,7 @@ jobs:
             docker cp . optimism-ci:/home/user/workspace
             docker exec optimism-ci chown -R user:user /home/user
       - run:
-          name: 'Run Kontrol'
+          name: Run Kontrol
           command: |
             docker exec -u user optimism-ci bash -c 'cd packages/contracts-bedrock && ./test/kontrol/kontrol/run-kontrol.sh'
       - run:
@@ -1621,6 +1621,7 @@ workflows:
       - check-generated-mocks-op-service
       - cannon-go-lint-and-test
       - cannon-build-test-vectors
+      - kontrol-tests
   release:
     when:
       not: