Merge branch 'master' into headermap2

This commit is contained in:
Rob Ede 2024-02-01 05:47:31 +00:00 committed by GitHub
commit 63137d9df4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions

View File

@ -57,6 +57,8 @@ jobs:
- name: workaround MSRV issues - name: workaround MSRV issues
if: matrix.version.name == 'msrv' if: matrix.version.name == 'msrv'
run: | run: |
cargo update -p=ciborium --precise=0.2.1
cargo update -p=ciborium-ll --precise=0.2.1
cargo update -p=clap --precise=4.3.24 cargo update -p=clap --precise=4.3.24
cargo update -p=clap_lex --precise=0.5.0 cargo update -p=clap_lex --precise=0.5.0
cargo update -p=anstyle --precise=1.0.2 cargo update -p=anstyle --precise=1.0.2