3 commits

Author	SHA1	Message	Date
Sofia Rodrigues	2e48cd293a	refactor: move Async and Http from Internal to Std (#13511) ... This PR moves Async and Http from Internal to Std	2026-04-23 19:55:22 +00:00
Garmelon	7c011aa522	fix: use process signal numbers from correct architecture (#12900) ... This PR fixes some process signals that were incorrectly numbered. From what I can tell, the code used signals and signal numbers for Alpha/SPARC, not x86/ARM. The test was also broken and always green, hiding the mistake.	2026-03-17 13:33:13 +00:00
Sofia Rodrigues	3bea7e209e	feat: add signal handling support using libuv (#9258) ... This PR adds support for signal handlers to the Lean standard library. --------- Co-authored-by: Markus Himmel <markus@lean-fro.org>	2025-09-15 13:09:50 +00:00