Update to use merged mainline actions, use checkout@v3 instead of checkout@v2 on all jobs

Author: Skptak

.github/workflows/ci.yml

@@ -78,7 +78,7 @@ jobs:
       - name: Clone This Repo
         uses: actions/checkout@v3
       - name: Run spellings check
-        uses: FreeRTOS/CI-CD-GitHub-Actions/spellings@v2
+        uses: FreeRTOS/CI-CD-Github-Actions/spellings@main
         with:
           path: ./
 
@@ -128,7 +128,7 @@ jobs:
       - name: Check Links
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        uses: FreeRTOS/CI-CD-Github-Actions/link-verifier@v2
+        uses: FreeRTOS/CI-CD-Github-Actions/link-verifier@main
 
   build-checks:
     runs-on: ubuntu-latest
@@ -334,7 +334,7 @@ jobs:
     runs-on: cbmc_ubuntu-latest_16-core
     steps:
       - name: Set up CBMC runner
-        uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@v2
+        uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
         with:
           cbmc_version: "5.61.0"
 
@@ -352,6 +352,6 @@ jobs:
           echo -e "${{ env.bashPass }} ${{ env.stepName }} ${{ env.bashEnd }}"
 
       - name: Run CBMC
-        uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@v2
+        uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@main
         with:
           proofs_dir: test/cbmc/proofs

.github/workflows/formatting.yml

@@ -19,5 +19,5 @@ jobs:
     runs-on: ubuntu-20.04
     steps:
     - name: Apply Formatting Fix
-      uses: FreeRTOS/CI-CD-Github-Actions/formatting-bot@v2
+      uses: FreeRTOS/CI-CD-Github-Actions/formatting-bot@main
       id: check-formatting

.github/workflows/release-candidate.yml

@@ -16,7 +16,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
         with:
           ref: ${{ github.event.inputs.commit_id }}
       - name: Configure git identity

.github/workflows/release.yml

@@ -16,7 +16,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
         with:
           ref: ${{ github.event.inputs.commit_id }}
       - name: Configure git identity
@@ -53,7 +53,7 @@ jobs:
       - name: Install ZIP tools
         run: sudo apt-get install zip unzip
       - name: Checkout code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
         with:
           ref: ${{ github.event.inputs.commit_id }}
           path: FreeRTOS-Plus-TCP

README.md

@@ -36,7 +36,7 @@ For running the script, you will need Python version > 3.7. You can download/ins
 
 Once python is downloaded and installed, you can verify the version from your terminal/command window by typing `python --version`.
 
-To run the script, you should switch to the FreeRTOS-Plus-TCP directory that was created using
+To run the script, you should switch to the FreeRTOS-Plus-TCP directory
 Then run `python <Path/to/the/script>/GenerateOriginalFiles.py`.
 
 ## To consume FreeRTOS+TCP