Core: update directory name for devnet circuits

Author: dannywillems

core/src/network.rs

@@ -159,7 +159,7 @@ pub mod devnet {
     };
 
     pub const CIRCUITS_CONFIG: CircuitsConfig = CircuitsConfig {
-        directory_name: "3.0.1devnet",
+        directory_name: "berkeley-devnet",
 
         step_transaction_gates: "step-step-proving-key-transaction-snark-transaction-0-c33ec5211c07928c87e850a63c6a2079",
         wrap_transaction_gates: