Skip to content

move run_exe() to separate file #1078

move run_exe() to separate file

move run_exe() to separate file #1078

Triggered via pull request December 13, 2023 15:50
Status Success
Total duration 6m 31s
Artifacts

linux.yml

on: pull_request
shellcheck
6s
shellcheck
compare-compilers
48s
compare-compilers
editorconfig-checker
7s
editorconfig-checker
Matrix: doctest
Matrix: test
Fit to window
Zoom out
Zoom in