ci: Add Cheshire integration, various workflow updates

* Add Cheshire integration tests.
* Deactivate 'stale' workflow.
* Report formatting issues via github annotations.
* Deactivate verible check for external repos due to security
concerns (`pull_request_target`)

Signed-off-by: Nils Wistoff <nwistoff@iis.ee.ethz.ch>

Author: niwis

.github/workflows/integration.yml

@@ -0,0 +1,25 @@
+# Copyright 2024 PULP Platform
+# Licensed under the Apache License, Version 2.0, see LICENSE for details.
+# SPDX-License-Identifier: Apache-2.0
+
+# Author: Nils Wistoff <nwistoff@iis.ee.ethz.ch>
+
+name: integration
+on: [ push, pull_request, workflow_dispatch ]
+
+jobs:
+  cheshire-integration:
+    runs-on: ubuntu-latest
+    timeout-minutes: 200
+    # Skip on forks due to missing secrets.
+    if: github.repository == 'pulp-platform/cva6' && (github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository)
+    steps:
+      - name: Integrate into cheshire
+        uses: pulp-platform/pulp-actions/integrate@v2.3.0
+        with:
+          ip-name: cva6
+          org: pulp-platform
+          repo: cheshire
+          base-ref: 4098faa23b8686e7a53936634dfd9fee6e88ede9
+          token: ${{ secrets.CHESHIRE_TOKEN }}
+          lifetime: 14

.github/workflows/stale.yml

@@ -4,9 +4,9 @@
 
 name: 'Close stale issues and PRs'
 on:
-  workflow_dispatch:
-  schedule:
-      - cron: '30 1 * * *'
+  workflow_dispatch
+#  schedule:
+#      - cron: '30 1 * * *'
 
 jobs:
   stale:

.github/workflows/verible.yml

@@ -3,8 +3,7 @@
 # SPDX-License-Identifier: Apache-2.0
 
 name: Verible
-on:
-  pull_request_target:
+on: [push, pull_request]
 
 jobs:
   format:
@@ -13,6 +12,8 @@ jobs:
       checks: write
       contents: read
       pull-requests: write
+    # Skip on forks due to missing secrets.
+    if: github.repository == 'pulp-platform/cva6' && (github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository)
     steps:
       - uses: actions/checkout@v3
         with:
@@ -22,3 +23,4 @@ jobs:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           files: '$(find core -regex ".*\.\(v\|sv\)$" | grep -v "^core/include/.*_config_pkg\.sv$")'
           fail_on_formatting_suggestions: true
+          reviewdog_reporter: github-check