libcrux icon indicating copy to clipboard operation
libcrux copied to clipboard

Published 20 hours ago • verified publisher icon cryspen

Fixing Proof CI

Open karthikbhargavan opened this issue 6 months ago • 0 comments
trafficstars

This PR modifies the F* parameters to make the nightly proof CI work again.

Fixes https://github.com/cryspen/libcrux/issues/953

karthikbhargavan avatar May 10 '25 14:05 karthikbhargavan