diff options
| author | gatecat <gatecat@ds0.me> | 2021-05-20 19:45:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-20 19:45:27 +0100 |
| commit | 54b8364ceaa3be52cf5161e268cdefa96588e749 (patch) | |
| tree | d9d27b52b2f1383ec1ddae612d6ae0a8a0d5489a /.github | |
| parent | 5a41d2070c8a7c065d4e3fbfb70b3a3fbd19b319 (diff) | |
| parent | 9dce00a4e7b9bdaf1b2bbc0c9d8c2ccc830c65b1 (diff) | |
| download | nextpnr-54b8364ceaa3be52cf5161e268cdefa96588e749.tar.gz nextpnr-54b8364ceaa3be52cf5161e268cdefa96588e749.tar.bz2 nextpnr-54b8364ceaa3be52cf5161e268cdefa96588e749.zip | |
Merge pull request #711 from acomodi/interchange-site-to-pseudo-pips
interchange: phys: add site instance idstr for pseudo tile PIPs
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/interchange_ci.yml | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/.github/workflows/interchange_ci.yml b/.github/workflows/interchange_ci.yml index f93a58ce..0fe58db8 100644 --- a/.github/workflows/interchange_ci.yml +++ b/.github/workflows/interchange_ci.yml @@ -22,14 +22,17 @@ jobs: uses: hendrikmuhs/ccache-action@v1 - name: Get yosys - run: git clone https://github.com/YosysHQ/yosys.git + run: | + git clone https://github.com/YosysHQ/yosys.git + cd yosys + echo "YOSYS_SHA=$(git rev-parse HEAD)" >> $GITHUB_ENV - name: Cache yosys installation uses: actions/cache@v2 id: cache-yosys with: path: .yosys - key: cache-yosys-${{ hashFiles('**/yosys/.git/HEAD') }} + key: cache-yosys-${{ env.YOSYS_SHA }} - name: Build yosys run: | @@ -88,14 +91,17 @@ jobs: uses: hendrikmuhs/ccache-action@v1 - name: Get yosys - run: git clone https://github.com/YosysHQ/yosys.git + run: | + git clone https://github.com/YosysHQ/yosys.git + cd yosys + echo "YOSYS_SHA=$(git rev-parse HEAD)" >> $GITHUB_ENV - name: Cache yosys installation uses: actions/cache@v2 id: cache-yosys with: path: .yosys - key: cache-yosys-${{ hashFiles('**/yosys/.git/HEAD') }} + key: cache-yosys-${{ env.YOSYS_SHA }} - name: Build yosys run: | |