Protect against spurious dist refreshes and also remove some old stuff from the ci script
Protect against spurious dist refreshes and also remove some old stuff from the ci script

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star