Do not persist credential on checkout

Author: Oleg

.github/workflows/build-all.yml

@@ -16,6 +16,7 @@ jobs:
     steps:
       - uses: actions/checkout@v4
         with:
+          persist-credentials: false
           fetch-depth: 0
           fetch-tags: true
       - name: Collect available versions
@@ -39,6 +40,7 @@ jobs:
     steps:
       - uses: actions/checkout@v4
         with:
+          persist-credentials: false
           ref: ${{ matrix.revision }}
 
       - name: Compute implementation name

.github/workflows/build.yml

@@ -24,6 +24,8 @@ jobs:
       implementation-name: ${{ steps.impl.outputs.name }}
     steps:
       - uses: actions/checkout@v4
+        with:
+          persist-credentials: false
 
       - name: Install bowtie
         uses: bowtie-json-schema/bowtie@main
@@ -56,6 +58,8 @@ jobs:
 
     steps:
       - uses: actions/checkout@v4
+        with:
+          persist-credentials: false
 
       - name: Install bowtie
         uses: bowtie-json-schema/bowtie@main