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: May 28 2023 at 16:30 UTC