Interrupt handling now includes SIGINT, SIGTERM and SIGHUP, renamed KeyboardInterrupt to Interrupt
#958
stefan-k
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
tests-argmin
3m 18s
tests-argmin-serde1-feature
2m 37s
tests-argmin-observer-slog
30s
tests-argmin-observer-paramwriter
20s
tests-argmin-checkpointing-file
43s
tests-argmin-observer-spectator
1m 27s
tests-argmin-testfunctions
22s
tests-argmin-math
4m 47s
clippy
1m 57s
rustfmt
24s
docs-build
28s
wasm-build
50s
Matrix: cargo-deny