Merge pull request #814 from pq-code-package/revert-workflow-run

Revert using workflow_run

Author: hanno-becker

.github/workflows/cbmc.yml

@@ -4,13 +4,16 @@ name: CBMC
 permissions:
   contents: read
 on:
+  workflow_call:
   workflow_dispatch:
-  workflow_run:
-    workflows: [ "Base tests" ]
-    types: [ completed ]
+  push:
+    branches: ["main"]
+  pull_request:
+    branches: ["main"]
+    types: [ "opened", "synchronize" ]
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.event.workflow_run.head_branch }}
+  group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
 jobs:

.github/workflows/ci.yml

@@ -4,13 +4,16 @@ name: Extended tests
 permissions:
   contents: read
 on:
+  workflow_call:
   workflow_dispatch:
-  workflow_run:
-    workflows: [ "Base tests" ]
-    types: [ completed ]
+  push:
+    branches: ["main"]
+  pull_request:
+    branches: ["main"]
+    types: [ "opened", "synchronize" ]
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.event.workflow_run.head_branch }}
+  group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
 jobs: