Bump hax-lib-macros from `c2093b4` to `29d28fc` #1915

Sign in to view logs

Triggered via pull request September 30, 2024 02:59

dependabot[bot]

opened #603

dependabot/cargo/hax-lib-macros-29d28fc

Status Success

Total duration 26m 22s

Artifacts –

rust.yml

on: pull_request

Matrix: build