libcrux icon indicating copy to clipboard operation
libcrux copied to clipboard
verified publisher icon cryspen

Leftover makefile improvements

Open W95Psp opened this issue 1 year ago • 2 comments

This PR follows #485, which was closed since it was partially merged in #475. This PR pushed the leftover improvements.

W95Psp avatar Aug 23 '24 07:08 W95Psp

@karthikbhargavan is this supposed to get merged or can we close it?

franziskuskiefer avatar Sep 27 '24 08:09 franziskuskiefer

@W95Psp: shall we look at this on Monday to decide whether this has already been incorporated and what we should keep from this?

karthikbhargavan avatar Sep 27 '24 09:09 karthikbhargavan

This PR has been marked as stale due to a lack of activity for 60 days. If you believe this pull request is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

github-actions[bot] avatar Nov 27 '24 02:11 github-actions[bot]

Let's close

W95Psp avatar Nov 27 '24 08:11 W95Psp