Enable CI test

Author: EmilLuta

.github/workflows/ci.yml

@@ -3,6 +3,8 @@ name: CI
 on:
   pull_request:
   merge_group:
+  branches:
+    - evl-update-dependencies-prover-23-1-0
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}