Merge remote-tracking branch 'origin/master' into util_public

Signed-off-by: Ravi Varadarajan <[email protected]>

Author: ravi-varadarajan

.github/workflows/github-actions-cron-update-OR.yml

@@ -7,7 +7,7 @@ on:
 
 jobs:
   update:
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-latest
     steps:
       - name: Check out repository code recursively
         uses: actions/checkout@v3

.github/workflows/github-actions-cron-update-yosys.yml

@@ -7,7 +7,7 @@ on:
 
 jobs:
   update:
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-latest
     steps:
       - name: Check out repository code recursively
         uses: actions/checkout@v3