New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Better handling of user interrupts (fixes #299) #349

Merged

soenkehahn merged 1 commit into garnix-io:main from sol:user-interupts

Nov 7, 2023

Merged

Better handling of user interrupts (fixes #299) #349

Better handling of user interrupts (fixes #299)

Garnix CI / package garn [x86_64-linux] succeeded Nov 7, 2023 in 2m 46s

Run results

Build succeeded

Details

Last 100 lines of logs:

https://cache.nixos.org/jf1schh0hfq84hzaj77gyka1ldyrgq2y.narinfo
https://cache.garnix.io/jf1schh0hfq84hzaj77gyka1ldyrgq2y.narinfo

View more details on Garnix CI