Skip to content

Rename os-pipe to os_pipe #39

Rename os-pipe to os_pipe

Rename os-pipe to os_pipe #39

Triggered via pull request June 19, 2026 17:38
Status Success
Total duration 10s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in