aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/ci-fiat_crypto_legacy.sh
AgeCommit message (Expand)Author
2020-11-20[CI] Deactivate native-compiler in some jobsPierre Roux
2020-06-24Add back fiat-crypto-legacy to the CIJason Gross
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 08:47:32 +0000