Skip to content

Merge pull request #957 from hacspec/fix-variant-renaming-in-struct-b… #275

Merge pull request #957 from hacspec/fix-variant-renaming-in-struct-b…

Merge pull request #957 from hacspec/fix-variant-renaming-in-struct-b… #275

Annotations

1 warning

build-and-deploy-external-gh-pages

succeeded Oct 3, 2024 in 50s