diff --git a/.github/workflows/daily-bump.yml b/.github/workflows/daily-bump.yml index 2d82c26..da61c60 100644 --- a/.github/workflows/daily-bump.yml +++ b/.github/workflows/daily-bump.yml @@ -45,7 +45,7 @@ jobs: sed -i "s|$oldHash|$newHash|" nix/gcd/gcd.nix - name: Commit changes env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + GH_TOKEN: ${{ secrets.CI_BUMP_TOKEN }} run: | git config user.name github-actions[bot] git config user.email 41898282+github-actions[bot]@users.noreply.github.com diff --git a/templates/chisel/nix/gcd/gcd.nix b/templates/chisel/nix/gcd/gcd.nix index 42dd4bb..748e875 100644 --- a/templates/chisel/nix/gcd/gcd.nix +++ b/templates/chisel/nix/gcd/gcd.nix @@ -75,7 +75,10 @@ let projectDependencies.setupHook ]; - env.CIRCT_INSTALL_PATH = circt-full; + env = { + CIRCT_INSTALL_PATH = circt-full; + JEXTRACT_INSTALL_PATH = jextract-21; + }; outputs = [ "out" "elaborator" ];