Skip to content

Merge branch 'bugfix/correct-ed448-shake' #377

Merge branch 'bugfix/correct-ed448-shake'

Merge branch 'bugfix/correct-ed448-shake' #377

Triggered via push July 18, 2024 04:14
Status Success
Total duration 1m 19s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 warning
lint
The `python-version` input is not set. The version of Python currently in `PATH` will be used.