Merge remote-tracking branch 'ci/main'

This commit is contained in:
Jon Gjengset 2024-12-31 10:22:08 +01:00
commit 93e364188c

View file

@ -197,7 +197,7 @@ jobs:
- name: Record Rust version - name: Record Rust version
run: echo "RUST=$(rustc --version)" >> "$GITHUB_ENV" run: echo "RUST=$(rustc --version)" >> "$GITHUB_ENV"
- name: Upload to codecov.io - name: Upload to codecov.io
uses: codecov/codecov-action@v4 uses: codecov/codecov-action@v5
with: with:
fail_ci_if_error: true fail_ci_if_error: true
token: ${{ secrets.CODECOV_TOKEN }} token: ${{ secrets.CODECOV_TOKEN }}