diff options
author | Ivan Nardi <12729895+IvanNardi@users.noreply.github.com> | 2023-03-22 18:17:25 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-22 18:17:25 +0100 |
commit | 04e017a854797c02a2cfc9fadd954fc0426f8e04 (patch) | |
tree | 1f578f627a200257bf2b3a0fff9867b93ac6bb1f /tests | |
parent | 64ebf73b2961f768ab52bdb05b4951bfe337f478 (diff) |
Rework CI jobs to try reducing CI duration (#1903)
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 9eff0754 it is safe to reduce fuzzing time.
Bottom line: try to have as upper-time of CI tests the duration of the
fuzzing jobs
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions