[devhelp] (2 commits) ...ci: Always build the development profile



Summary of changes:

  c0bf572... Add profile for development builds (*)
  272dcf2... ci: Always build the development profile (*)

(*) 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]