Skip to content

Commit

Permalink
Bump hax-lib-macros from c2093b4 to 29d28fc
Browse files Browse the repository at this point in the history 
Bumps [hax-lib-macros](https://github.com/hacspec/hax) from `c2093b4` to `29d28fc`.
- [Commits](hacspec/hax@c2093b4...29d28fc)

---
updated-dependencies:
- dependency-name: hax-lib-macros
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
@dependabot
dependabot[bot] authored Sep 30, 2024
1 parent 8c05744 commit 0d7ff8f
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions Cargo.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit 0d7ff8f

Please sign in to comment.