Merge branch 'docs/fix_badge'

Author: lucasssvaz

.github/workflows/tests_results.yml

@@ -109,11 +109,11 @@ jobs:
             core.info(`${name} is ${state}`);
 
       - name: Create output folder
-        if: always() && (${{ env.original_event }} == 'schedule' || ${{ env.original_event }} == 'workflow_dispatch')
+        if: !cancelled() && (${{ env.original_event }} == 'schedule' || ${{ env.original_event }} == 'workflow_dispatch')
         run: mkdir -p runtime-tests-results
 
       - name: Generate badge
-        if: always() && (${{ env.original_event }} == 'schedule' || ${{ env.original_event }} == 'workflow_dispatch')
+        if: !cancelled() && (${{ env.original_event }} == 'schedule' || ${{ env.original_event }} == 'workflow_dispatch')
         uses: jaywcjlove/generated-badges@main
         with:
           label: Runtime Tests
@@ -122,7 +122,7 @@ jobs:
           color: ${{ job.status == 'success' && 'green' || 'red' }}
 
       - name: Deploy badge
-        if: always() && (${{ env.original_event }} == 'schedule' || ${{ env.original_event }} == 'workflow_dispatch')
+        if: !cancelled() && (${{ env.original_event }} == 'schedule' || ${{ env.original_event }} == 'workflow_dispatch')
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}