Don't use optimized_mir for constants #1476
ci.yml
on: pull_request
check_if_skip_duplicate_job
3s
check-version-number
6s
aeneas
4m 22s
kyber
2m 3s