Stream: Coq devs & plugin devs

Topic: fiat-crypto CI timing

view this post on Zulip Jason Gross (Dec 16 2022 at 17:56):

Does fiat-crypto get access to native_compute on the CI? Giving it access to native_compute should shave off about 8 minutes in UnsaturatedSolinasHeuristics/Tests

view this post on Zulip Emilio Jesús Gallego Arias (Dec 16 2022 at 17:57):

@Jason Gross as of today I think that is the case, yes

Last updated: Mar 02 2024 at 17:02 UTC