chore: bump dyn-stack to 0.11 #2
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Lint and check CI | |
| name: CI Lint and Checks | |
| on: | |
| pull_request: | |
| env: | |
| ACTIONLINT_VERSION: 1.6.27 | |
| jobs: | |
| lint-check: | |
| name: Lint and checks | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout tfhe-rs | |
| uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 | |
| - name: Get actionlint | |
| run: | | |
| bash <(curl https://raw.githubusercontent.com/rhysd/actionlint/main/scripts/download-actionlint.bash) ${{ env.ACTIONLINT_VERSION }} | |
| echo "f2ee6d561ce00fa93aab62a7791c1a0396ec7e8876b2a8f2057475816c550782 actionlint" > checksum | |
| sha256sum -c checksum | |
| ln -s "$(pwd)/actionlint" /usr/local/bin/ | |
| - name: Lint workflows | |
| run: | | |
| make lint_workflow |