Zzzabiyaka 85981b77b8 Reduce CI jobs number (#2296) ...

Fixes #2267.

This PR doesn't decrease the coverage, because every job is tested either per PR or
nightly run (instead of 2 times as it was before). Actually, it even increases it because
Android is tested with Ubuntu 20 now which was disabled before.

2023-06-20 10:41:56 +08:00

..

scripts

Update messages/comments to refer the new place of the version definition (#2133)

2023-04-18 21:09:18 +08:00

workflows

Reduce CI jobs number (#2296)

2023-06-20 10:41:56 +08:00