Skip to content
CI Debian

- use pid_t instead of int #441

Sign in to view logs

- use pid_t instead of int

- use pid_t instead of int #441

Triggered via pull request October 31, 2023 08:20
@aschnellaschnell
opened #845
aschnell:master
Status Success
Total duration 5m 7s
Artifacts –

ci-debian.yml

on: pull_request
Tests
4m 54s
Tests
Fit to window
Zoom out
Zoom in