Skip to content

Handle CTRL-C better on MacOS #511

Handle CTRL-C better on MacOS

Handle CTRL-C better on MacOS #511

Triggered via push November 22, 2024 17:59
Status Success
Total duration 8m 56s
Artifacts

ci.yml

on: push
ubuntu-focal-make
8m 48s
ubuntu-focal-make
Fit to window
Zoom out
Zoom in