We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 12c6820 commit 0d451d8Copy full SHA for 0d451d8
.github/workflows/ci.yml
@@ -48,12 +48,11 @@ jobs:
48
- uses: actions/checkout@v4
49
50
- name: Download test fixtures
51
- uses: actions/download-artifact@v5
52
- with:
53
- repository: leanEthereum/leanSpec
54
- name: fixtures-prod-scheme
55
- path: ./leanSpec/fixtures
56
- github-token: ${{ secrets.GITHUB_TOKEN }}
+ env:
+ GH_TOKEN: ${{ github.token }}
+ run: |
+ mkdir -p leanSpec/fixtures
+ gh run download --repo leanEthereum/leanSpec --name fixtures-prod-scheme --dir leanSpec/fixtures
57
58
- name: Setup Rust
59
uses: dtolnay/rust-toolchain@master
0 commit comments