chore(CI): clean up gha and unused files

Author: josecorella

.github/workflows/clang-format.yml

@@ -1,6 +1,7 @@
 name: test-clang-format
 
-on: ["pull_request", "push"]
+on:
+  workflow_call:
 
 jobs:
   build:

.github/workflows/codebuild.yml

@@ -1,11 +1,7 @@
 name: AWS CodeBuild Batch Workflow
 
 on:
-  pull_request:
-  push:
-  # Run daily
-  schedule:
-    - cron: "0 0 * * *"
+  workflow_call:
 
 permissions:
   id-token: write

.github/workflows/daily_ci.yml

@@ -0,0 +1,11 @@
+# This workflow runs every weekday at 15:00 UTC (8AM PDT)
+name: Daily CI
+
+on:
+  schedule:
+    - cron: "00 15 * * 1-5"
+
+jobs:
+  codebuild:
+    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
+    uses: ./.github/workflows/codebuild.yml

.github/workflows/osx.yml

@@ -1,7 +1,8 @@
 ---
 name: macOS build and test AWS Encryption SDK for C
 
-on: ["pull_request", "push"]
+on:
+  workflow_call:
 
 
 jobs:

.github/workflows/proof_ci.yaml

@@ -3,13 +3,8 @@
 # CBMC starter kit 2.9
 name: Run CBMC proofs
 on:
-  push:
-    branches-ignore:
-      - gh-pages
-  pull_request:
-    branches-ignore:
-      - gh-pages
   workflow_dispatch:
+  workflow_call:
 
 # USAGE
 #

.github/workflows/pull.yml

@@ -0,0 +1,27 @@
+name: Pull Request Workflow
+
+on:
+  pull_request:
+
+jobs:
+  clang-format:
+    uses: ./.github/workflows/clang-format.yml
+  codebuild:
+    uses: ./.github/workflows/codebuild.yml
+  osx:
+    uses: ./.github/workflows/osx.yml
+  proof-ci:
+    uses: ./.github/workflows/proof_ci.yaml
+  pr-ci-all-required:
+    if: always()
+    needs:
+      - clang-format
+      - codebuild
+      - osx
+      - proof-ci
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Verify all required jobs passed
+        uses: re-actors/alls-green@release/v1
+        with:
+          jobs: ${{ toJSON(needs) }}

.github/workflows/push.yml

@@ -0,0 +1,15 @@
+name: Push Workflow
+
+on:
+  push:
+    branches: master
+
+jobs:
+  clang-format:
+    uses: ./.github/workflows/clang-format.yml
+  codebuild:
+    uses: ./.github/workflows/codebuild.yml
+  osx:
+    uses: ./.github/workflows/osx.yml
+  proof-ci:
+    uses: ./.github/workflows/proof_ci.yaml