hax

update libcrux deps to released versions #726

Sign in to view logs

Triggered via pull request June 3, 2025 08:35

franziskuskiefer

opened #154

franziskus/bump-libcrux

Status Success

Total duration 2m 10s

Artifacts –

hax.yml

on: pull_request