Skip to content

Added sigterm to the signal handler for Benchmark#1095

Merged
GiovanniBussi merged 1 commit intoplumed:masterfrom Iximiel:benchmark-signalsJul 24, 2024
+6-1

Commits

Commits on Jul 9, 2024