changing circleci workflow name (algorand#2887)

algojack · cce · commit dc37c341bf78 · 2021-10-28T12:30:14.000-04:00
Fixing naming due to new way of displaying CircleCI workflow.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -48,7 +48,7 @@ executors:
 
 workflows:
   version: 2
-  build_pr:
+  "circleci_build_and_test":
     jobs:
       - codegen_verification
 
