[connections] ci: Make Fedora CI optional (manual)



Summary of changes:

  d6ae691... ci: Make Fedora CI optional (manual) (*)

(*) This commit already existed in another branch; no separate mail sent


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]