diff --git a/.github/main.workflow b/.github/main.workflow deleted file mode 100644 index 20a0f33256..0000000000 --- a/.github/main.workflow +++ /dev/null @@ -1,32 +0,0 @@ -workflow "Build & Release Manifest" { - on = "push" - resolves = ["manifest-build-and-tag"] -} - -action "manifest-build-and-tag" { - uses = "./tools/docker/github" - runs = ["python", "tools/ci/manifest_build.py"] - secrets = ["GITHUB_TOKEN"] -} - -workflow "Build & Publish Documentation Website" { - on = "push" - resolves = ["website-build-and-publish"] -} - -action "website-build-and-publish" { - uses = "./tools/docker/documentation" - runs = ["/bin/bash", "tools/ci/website_build.sh"] - secrets = ["DEPLOY_TOKEN"] -} - -workflow "Synchronize the Pull Request Preview" { - on = "pull_request" - resolves = "update-pr-preview" -} - -action "update-pr-preview" { - uses = "./tools/docker/github" - runs = ["python", "tools/ci/update_pr_preview.py", "https://api.github.com"] - secrets = ["GITHUB_TOKEN"] -} diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml new file mode 100644 index 0000000000..0bedfe3d42 --- /dev/null +++ b/.github/workflows/pull_request.yml @@ -0,0 +1,14 @@ +on: pull_request +name: Synchronize the Pull Request Preview +jobs: + update-pr-preview: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@master + - name: update-pr-preview + uses: ./tools/docker/github + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + with: + entrypoint: python + args: tools/ci/update_pr_preview.py https://api.github.com diff --git a/.github/workflows/push-build-publish-documentation-website.yml b/.github/workflows/push-build-publish-documentation-website.yml new file mode 100644 index 0000000000..de226d173f --- /dev/null +++ b/.github/workflows/push-build-publish-documentation-website.yml @@ -0,0 +1,14 @@ +on: push +name: Build & Publish Documentation Website +jobs: + website-build-and-publish: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@master + - name: website-build-and-publish + uses: ./tools/docker/documentation + env: + DEPLOY_TOKEN: ${{ secrets.DEPLOY_TOKEN }} + with: + entrypoint: /bin/bash + args: tools/ci/website_build.sh diff --git a/.github/workflows/push-build-release-manifest.yml b/.github/workflows/push-build-release-manifest.yml new file mode 100644 index 0000000000..6c97a2f7b9 --- /dev/null +++ b/.github/workflows/push-build-release-manifest.yml @@ -0,0 +1,14 @@ +on: push +name: Build & Release Manifest +jobs: + manifest-build-and-tag: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@master + - name: manifest-build-and-tag + uses: ./tools/docker/github + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + with: + entrypoint: python + args: tools/ci/manifest_build.py