search

lowRISC / manticore

Apache License 2.0
16 stars 13 forks source link

[fuzz] Fix broken CI again #105

Closed mcy closed 3 years ago

mcy commented 3 years ago

GitHub does not run pre-merge checks when rebasing, and two changes to CI raced each other and broke.

Signed-off-by: Miguel Young de la Sota mcyoung@google.com