Migrate CI pipelines to non-docker settings. #233
Migrate CI pipelines to non-docker settings.
2e9055d7
xuzhao9
force pushed
from
97e2a99c
to
2e9055d7
5 years ago
wconstab
approved these changes
on 2021-02-03
xuzhao9
merged
0340596f
into master 5 years ago
xuzhao9
deleted the use-nodocker-ci branch 5 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub