[#81] fix signal handler #84
Merged
Cirrus CI / ubuntu_22_04_x64_stable_release
succeeded
Jan 14, 2024 in 8m 41s
Task Summary
Task successfully finished!
Details
✅ 00:00 clone
✅ 00:01 set_toolchain
✅ 08:21 build
✅ 00:16 test
Loading