[jenkins] Add relax docs push token

tlc-pack · Jan 20, 2023 · b627195 · b627195
1 parent b276722
commit b627195
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 0 deletions.
diff --git a/.github/workflows/jenkins_prepare.yml b/.github/workflows/jenkins_prepare.yml
@@ -64,6 +64,7 @@ jobs:
  SCCACHE_BUCKET: ${{ secrets.SCCACHE_BUCKET }}
  DOCS_PUSH_TOKEN: ${{ secrets.DOCS_PUSH_TOKEN }}
  AWS_ACCOUNT_ID: ${{ secrets.AWS_ACCOUNT_ID }}
+ TVM_BOT_DOCS_GITHUB_TOKEN: ${{ secrets.TVM_BOT_GITHUB_TOKEN }}
  steps:
  -
  name: Pull repository

diff --git a/jenkins/ansible/roles/setup_jenkins_head/tasks/main.yml b/jenkins/ansible/roles/setup_jenkins_head/tasks/main.yml
@@ -43,6 +43,14 @@
  group: 1000
  mode: 0600
 
+- name: octoml-relax-site-ci Github token
+ ansible.builtin.copy:
+ content: "{{ lookup('env', 'TVM_BOT_DOCS_GITHUB_TOKEN') }}"
+ dest: "/var/jenkins/keys/tvm_bot_docs_github_token"
+ owner: 1000
+ group: 1000
+ mode: 0600
+
 - name: Discord Webhook URL
  ansible.builtin.copy:
  content: "{{ lookup('env', 'DISCORD_WEBHOOK_URL') }}"

diff --git a/jenkins/docker/prod/base_config.yaml b/jenkins/docker/prod/base_config.yaml
@@ -178,6 +178,10 @@ credentials:
  id: "dockerhub-tlcpack-key"
  description: "aws account id"
  secret: "${readFile:/key/dockerhub-tlcpack-key}"
+ - string:
+ id: "octoml-relax-docs-push-token"
+ description: "key for pushing docs to octoml/relax-site"
+ secret: "${readFile:/key/tvm_bot_docs_github_token}"
  - gitHubApp:
  appID: "281513"
  id: "octoml-relax-ci"