diff --git a/.github/workflows/update-circt.yml b/.github/workflows/update-circt.yml deleted file mode 100644 index bdbf11f1d2..0000000000 --- a/.github/workflows/update-circt.yml +++ /dev/null @@ -1,25 +0,0 @@ -name: update-circt - -# update weekly -on: - schedule: - - cron: 0 0 * * 1 - -defaults: - run: - shell: bash -leo pipefail {0} - -jobs: - update-circt: - name: update-circt - runs-on: ubuntu-latest - steps: - - name: Update CIRCT - uses: circt/update-circt@v1 - with: - user: 'bartender' - email: 'firesimchipyard@gmail.com' - pr-reviewers: '' - pr-labels: 'changelog:changed' - circt-config: './conda-reqs/circt.json' - github-token: ${{ secrets.BARTENDER_PERSONAL_ACCESS_TOKEN }} diff --git a/.github/workflows/update-circt.yml.disabled b/.github/workflows/update-circt.yml.disabled new file mode 100644 index 0000000000..30147b53d6 --- /dev/null +++ b/.github/workflows/update-circt.yml.disabled @@ -0,0 +1,27 @@ +# DISABLED: This workflow is temporarily disabled + +# name: update-circt + +# # update weekly +# on: +# schedule: +# - cron: 0 0 * * 1 + +# defaults: +# run: +# shell: bash -leo pipefail {0} + +# jobs: +# update-circt: +# name: update-circt +# runs-on: ubuntu-latest +# steps: +# - name: Update CIRCT +# uses: circt/update-circt@v1 +# with: +# user: 'bartender' +# email: 'firesimchipyard@gmail.com' +# pr-reviewers: '' +# pr-labels: 'changelog:changed' +# circt-config: './conda-reqs/circt.json' +# github-token: ${{ secrets.BARTENDER_PERSONAL_ACCESS_TOKEN }} \ No newline at end of file