Skip to content

rusty_jwt_tools_ffi: bump + fix build#3194

Merged
battermann merged 2 commits intodevelopfrom
battermann/update-rust-jwt-tools
Mar 30, 2023
Merged

rusty_jwt_tools_ffi: bump + fix build#3194
battermann merged 2 commits intodevelopfrom
battermann/update-rust-jwt-tools

Conversation

@battermann
Copy link
Contributor

@battermann battermann commented Mar 28, 2023

Checklist

  • Add a new entry in an appropriate subdirectory of changelog.d
  • Read and follow the PR guidelines

@zebot zebot added the ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist label Mar 28, 2023
@flokli flokli force-pushed the battermann/update-rust-jwt-tools branch from 9e58e82 to 5703b61 Compare March 29, 2023 17:38
@flokli
Copy link
Contributor

flokli commented Mar 29, 2023

I moved the nixpkgs bump out of this into #3206.

@flokli flokli force-pushed the battermann/update-rust-jwt-tools branch 3 times, most recently from 2ec78f7 to 989c6c4 Compare March 30, 2023 09:58
@flokli flokli changed the title wip rusty_jwt_tools_ffi: bump + fix build Mar 30, 2023
This needs bumps rusty-jwt-tools to v0.3.4, which has a consistent ffi/
Cargo.lock file.

We use a tiny bit of IFD to get the lockfile from the src itself, but as
we're not building with Hydra, that's fine.

Co-Authored-By: Florian Klink <flokli@flokli.de>
@flokli flokli force-pushed the battermann/update-rust-jwt-tools branch from 989c6c4 to d32902c Compare March 30, 2023 10:02
@battermann battermann marked this pull request as ready for review March 30, 2023 10:16
@battermann battermann merged commit c47df87 into develop Mar 30, 2023
@battermann battermann deleted the battermann/update-rust-jwt-tools branch March 30, 2023 10:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants