Remove SignalHandler class, not needed anymore: since #125 the arena … #371

Triggered via push September 22, 2024 15:59

jwharm

main

Status Success

Total duration 2m 58s

Artifacts 1

publish-maven.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	19.1 MB