Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion .github/workflows/clang-format.yml
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
name: test-clang-format

on: ["pull_request", "push"]
on:
workflow_call:

jobs:
build:
Expand Down
6 changes: 1 addition & 5 deletions .github/workflows/codebuild.yml
Original file line number Diff line number Diff line change
@@ -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
Expand Down
12 changes: 12 additions & 0 deletions .github/workflows/daily_ci.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
# This workflow runs every weekday at 15:00 UTC (8AM PDT)
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is fine and an improvement over the current state, but any reason not to include the other CI?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

currently, this is the only job that is triggered daily, we could add the other ones; except osx - since you need to physically click run for those. we could add the others, I just wanted to get back to what we had

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
secrets: inherit
3 changes: 2 additions & 1 deletion .github/workflows/osx.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,8 @@
---
name: macOS build and test AWS Encryption SDK for C

on: ["pull_request", "push"]
on:
workflow_call:


jobs:
Expand Down
7 changes: 1 addition & 6 deletions .github/workflows/proof_ci.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -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
#
Expand Down
31 changes: 31 additions & 0 deletions .github/workflows/pull.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
name: Pull Request Workflow

on:
pull_request:

jobs:
clang-format:
uses: ./.github/workflows/clang-format.yml
secrets: inherit
codebuild:
uses: ./.github/workflows/codebuild.yml
secrets: inherit
osx:
uses: ./.github/workflows/osx.yml
secrets: inherit
proof-ci:
uses: ./.github/workflows/proof_ci.yaml
secrets: inherit
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) }}
19 changes: 19 additions & 0 deletions .github/workflows/push.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name: Push Workflow

on:
push:
branches: master

jobs:
clang-format:
uses: ./.github/workflows/clang-format.yml
secrets: inherit
codebuild:
uses: ./.github/workflows/codebuild.yml
secrets: inherit
osx:
uses: ./.github/workflows/osx.yml
secrets: inherit
proof-ci:
uses: ./.github/workflows/proof_ci.yaml
secrets: inherit
Loading