diff options
| author | Lukas Larsson <lukas@erlang.org> | 2021-11-03 18:15:35 +0100 |
|---|---|---|
| committer | Lukas Larsson <lukas@erlang.org> | 2021-11-03 18:15:35 +0100 |
| commit | a3d3b42cd584b7aff3ef3a975725b4030ce64640 (patch) | |
| tree | e3a4bfcc6b1dd66df96602c9881873f540bf2872 /.github | |
| parent | 349aee7a780b91fb9d7b43eb8bb5b76e53d98f0e (diff) | |
| download | erlang-a3d3b42cd584b7aff3ef3a975725b4030ce64640.tar.gz | |
gh: Trigger erlang.org rebuild at deploy
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yaml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index 988bf3b07e..53f0bb19c4 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -215,3 +215,8 @@ jobs: artifacts/*.txt env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + - name: Deploy on erlang.org + env: + GITHUB_TOKEN: ${{ secrets.TRIGGER_ERLANG_ORG_BUILD }} + run: | + curl -H "Authorization: token ${GITHUB_TOKEN}" -X POST -H "Accept: application/vnd.github.v3+json" "https://api.github.com/repos/erlang/erlang-org/actions/workflows/update-gh-cache.yaml/dispatches" -d '{"ref":"master"}' |