Skip to content

Commit eb85768

Browse files
committed
fix: disabling the circt bump CI until we fix for compatibilty
1 parent 973f873 commit eb85768

File tree

2 files changed

+27
-25
lines changed

2 files changed

+27
-25
lines changed

.github/workflows/update-circt.yml

Lines changed: 0 additions & 25 deletions
This file was deleted.
Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
# DISABLED: This workflow is temporarily disabled
2+
3+
# name: update-circt
4+
5+
# # update weekly
6+
# on:
7+
# schedule:
8+
# - cron: 0 0 * * 1
9+
10+
# defaults:
11+
# run:
12+
# shell: bash -leo pipefail {0}
13+
14+
# jobs:
15+
# update-circt:
16+
# name: update-circt
17+
# runs-on: ubuntu-latest
18+
# steps:
19+
# - name: Update CIRCT
20+
# uses: circt/update-circt@v1
21+
# with:
22+
# user: 'bartender'
23+
24+
# pr-reviewers: ''
25+
# pr-labels: 'changelog:changed'
26+
# circt-config: './conda-reqs/circt.json'
27+
# github-token: ${{ secrets.BARTENDER_PERSONAL_ACCESS_TOKEN }}

0 commit comments

Comments
 (0)