FStarLang/karamel

CI no longer running... due to renaming of the repo?

msprotz opened this issue · 1 comments

I notice that builds are no longer running for PRs. @tahina-pro do you think that could be the renaming?

Thanks @tahina-pro for the fix!