fix: make arch names equal to target machine initializers

It is easier to pass them this way to the compiler driver.
No case checking and additional `if`s required if we keep them equal to actual arch names.

Author: hedgar2017

.github/workflows/benchmarks-integration-tests.yml

@@ -86,13 +86,13 @@ jobs:
 
       - name: Check for EraVM target
         id: eravm
-        if: contains(github.event.pull_request.title, '[EraVM]')
-        run: echo "machine=EraVM" | tee -a "${GITHUB_OUTPUT}"
+        if: contains(github.event.pull_request.title, '[eravm]') || contains(github.event.pull_request.title, '[EraVM]')
+        run: echo "machine=eravm" | tee -a "${GITHUB_OUTPUT}"
 
       - name: Check for EVM target
         id: evm
-        if: contains(github.event.pull_request.title, '[EVM]')
-        run: echo "machine=EVM" | tee -a "${GITHUB_OUTPUT}"
+        if: contains(github.event.pull_request.title, '[evm]') || contains(github.event.pull_request.title, '[EVM]')
+        run: echo "machine=evm" | tee -a "${GITHUB_OUTPUT}"
 
       - name: Check for default target
         id: default

.github/workflows/regression-tests.yml

@@ -38,12 +38,12 @@ jobs:
 
       - name: Check for EraVM target
         id: eravm
-        if: contains(github.event.pull_request.title, '[EraVM]')
+        if: contains(github.event.pull_request.title, '[eravm]') || contains(github.event.pull_request.title, '[EraVM]')
         run: echo "machine=eravm" | tee -a "${GITHUB_OUTPUT}"
 
       - name: Check for EVM target
         id: evm
-        if: contains(github.event.pull_request.title, '[EVM]')
+        if: contains(github.event.pull_request.title, '[evm]') || contains(github.event.pull_request.title, '[EVM]')
         run: echo "machine=evm" | tee -a "${GITHUB_OUTPUT}"
 
       - name: Check for default target