Merge pull request #258 from th30d4y/alert-autofix-112

Potential fix for code scanning alert no. 112: Incomplete regular expression for hostnames

Author: 0x5t4l1n

backend/lib/openzeppelin-contracts/certora/run.js

@@ -101,7 +101,7 @@ async function runCertora(spec, contract, files, options = []) {
   stream.end();
 
   // write results in markdown format
-  writeEntry(spec, contract, code || signal, (await output).match(/https:\/\/prover.certora.com\/output\/\S*/)?.[0]);
+  writeEntry(spec, contract, code || signal, (await output).match(/https:\/\/prover\.certora\.com\/output\/\S*/)?.[0]);
 
   // write all details
   console.error(`+ certoraRun ${args.join(' ')}\n` + (await output));