Commit graph

7 commits

Author SHA1 Message Date
Corentin Leruth
950d5922a1 add correct release version in comment 2025-11-08 12:49:52 +01:00
Shon Feder
474d43bdad
Use domain ID instead of thread ID in Eio collector
Eio programs are not generally expected to use threads for concurrency,
but they may well use different domains which we'd want to track during
debugging.
2025-09-07 23:25:25 -04:00
Shon Feder
ddbdc80d57
make Eio collector thread safe
The backend cannot take a switch, because switches cannot be shared
across domains, but the backend is accessed across domains from a global
variable.
2025-08-01 13:56:50 -04:00
Shon Feder
7cdadfaeeb
Fix exception message 2025-08-01 13:56:50 -04:00
Shon Feder
69d15df4f1
Fix deps 2025-07-14 12:34:39 -04:00
Shon Feder
94772c7fe4
Fix GitHub actions for Ocaml5 specific tests
Co-authored-by: Puneeth Chaganti <punchagan@muse-amuse.in>
2025-07-12 00:30:31 -04:00
Shon Feder
7746c871c2
Add Eio collector 2025-07-12 00:30:31 -04:00