Jonathan Protzenko

Hi @Frosne, since your initial patch broke the build, can you submit a PR that implements the fix I suggest in https://github.com/project-everest/hacl-star/issues/540#issuecomment-1075440160? Part 2 is necessary, and part 1 of...

Ah great. For next time, can you add a cross-reference in the commit message? Just write "this fixes #540" in the commit message and a little link will appear here...

- `make ci` generates a ton of files which are not properly covered by `.gitignore`: spec tests, dist/test/ml, etc.

- hand-written C tests generate a TON of warning especially on the systems they were not written for (e.g. OSX) due to int size confusions... hard to make sense of...

- hand-written C tests hardcode assumptions on the capabilities of the host machine -- should be feature-gated at run-time like for the library itself - hand-written C tests hardcode `/proc/cpuinfo`

Thanks for all the work! What does this credit consumption mean? Will we run out of credits in a week, a month? Can these be replenished? Maybe we should disable...

Agreed with that, Franziskus. Thanks for chiming in -- there's a bunch of other related PRs and I'd love to have your opinion on those if you haven't commented already.

Is there a way to ask politely for a bigger monthly allowance of credits on the basis that we're an open-source project with a big-ish need for CI? No one...

Any news on this? I'd love to have Travis back but until we sort out the issue of credits, I take it it's not worth it?

Coming back from vacations... and just seeing this new roadmap. Thanks @mamonet. This seems overall reasonable but maybe @Chris-Hawblitzel has some thoughts on it.