Commits on Mar 22, 2023

1. Rework CI jobs to try reducing CI duration …

   CI duration is quite long: the longest jobs is the "Performance" one.
   Try to reduce the overall duration: that job (and some others) will not
   be triggered for each PR/commit anymore, but asynchronously, once a day
   (this scheduling seems right since the frequency of the PR/commits in
   the project).
   It should be possibly to trigger them manually, via GUI, anyway.
   
   Remove two identical jobs; we already tests ASAN with 4 different
   compilers.
   
   After 9eff075 it is safe to reduce fuzzing time.
   
   Bottom line: try to have as upper-time of CI tests the duration of the
   fuzzing jobs

   

   IvanNardi committed Mar 22, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for c710a5a
   • Browse repository at this point

   Copy the full SHA

   c710a5a View commit details

   Browse the repository at this point in the history