Skip to content

Make sure we close the server properly when handling KeyboardInterrupt #186

Make sure we close the server properly when handling KeyboardInterrupt

Make sure we close the server properly when handling KeyboardInterrupt #186

Triggered via pull request September 10, 2024 14:54
Status Success
Total duration 2m 23s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in