patchback[bot] 8a7128997d CI: Remove scripts that are no longer needed (#2793) (#2796) ... * Remove scripts that are no longer needed. ci_complete * Remove sanity ignores. (cherry picked from commit d4c4d00ad1) Co-authored-by: Felix Fontein <felix@fontein.de>		2021-06-14 04:09:27 +00:00
..
extra	Add extra docs tests (#2663) (#2665)	2021-05-28 06:49:01 +02:00
ignore-2.9.txt	CI: Remove scripts that are no longer needed (#2793) (#2796)	2021-06-14 04:09:27 +00:00
ignore-2.10.txt	CI: Remove scripts that are no longer needed (#2793) (#2796)	2021-06-14 04:09:27 +00:00
ignore-2.11.txt	CI: Remove scripts that are no longer needed (#2793) (#2796)	2021-06-14 04:09:27 +00:00
ignore-2.12.txt	CI: Remove scripts that are no longer needed (#2793) (#2796)	2021-06-14 04:09:27 +00:00