Skip to content
CI

Delete PID file on exit #152

Sign in to view logs

Delete PID file on exit

Delete PID file on exit #152

Triggered via push October 7, 2023 18:37
@theorytheory
pushed 11996d5
clean-pid
Status Success
Total duration 3m 0s
Artifacts –

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in