Skip to content

move run_exe() to separate file (#449) #1079

move run_exe() to separate file (#449)

move run_exe() to separate file (#449) #1079

Triggered via push December 13, 2023 16:01
Status Success
Total duration 1m 13s
Artifacts

linux.yml

on: push
shellcheck
4s
shellcheck
compare-compilers
51s
compare-compilers
editorconfig-checker
6s
editorconfig-checker
Matrix: doctest
Matrix: test
Fit to window
Zoom out
Zoom in