Revert "[CI] Temporarily disactivate kami"#20959

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

JasonGross:enable-fiat-cryptoJasonGross/coq:enable-fiat-cryptoCopy head branch name to clipboard