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

fdupress wants to merge 1 commit into

mainEasyCrypt/easycrypt:mainfrom

external-ci-formosa-slhdsaEasyCrypt/easycrypt:external-ci-formosa-slhdsaCopy head branch name to clipboard