Skip to content

[external-ci] point SPHINCS+ job to formosa repo#1036

Merged
fdupress merged 1 commit into
mainfrom
external-ci-formosa-slhdsa
Jun 12, 2026
Merged

[external-ci] point SPHINCS+ job to formosa repo#1036
fdupress merged 1 commit into
mainfrom
external-ci-formosa-slhdsa

[external-ci] point SPHINCS+ job to formosa repo

4f2b915
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Fetch EasyCrypt External Projects Matrix
succeeded Jun 12, 2026 in 4s