Skip to content

Introduce GitHub CI - #213

Merged
DifferentialOrange merged 3 commits into
masterfrom
DifferentialOrange/gh-182-github-actions
Mar 31, 2022
Merged

Introduce GitHub CI#213
DifferentialOrange merged 3 commits into
masterfrom
DifferentialOrange/gh-182-github-actions

test: skip flaky ping test on Windows

44fc747
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs