fix ci

Signed-off-by: smtmfft <[email protected]>

provers/sp1/driver/src/lib.rs

@@ -200,7 +200,7 @@ fn init_verifier() -> Result<PathBuf, ProverError> {
     // In cargo run, Cargo sets the working directory to the root of the workspace
     let output_dir: PathBuf = CONTRACT_PATH.into();
     let artifacts_dir = sp1_sdk::install::try_install_circuit_artifacts();
-    if !artifacts_dir.join("SP1Verifier.sol").exists() {
+    if !artifacts_dir.join("PlonkSP1Verifier.sol").exists() {
         return Err(ProverError::GuestError(format!(
             "verifier file not found at {:?}",
             artifacts_dir