diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2021-09-27 14:37:36 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2021-09-27 14:37:36 +0200 |
commit | bd82460780e686daae9d6e17ed79cc7be8f9d577 (patch) | |
tree | 2631d1a689886fc37d937d0c514bb7d99bcc12da /misc/scripts/copyright_headers.py | |
parent | bfdf55afd95da86028bc92f4cab137d063eb6c20 (diff) | |
download | redot-cpp-bd82460780e686daae9d6e17ed79cc7be8f9d577.tar.gz |
CI: Disable test build to prepare for 4.0 extensions merge
It can't pass and fixing it in the heavily WIP extensions implementation
would be a hassle, it's better to readd tests once things are working.
Diffstat (limited to 'misc/scripts/copyright_headers.py')
0 files changed, 0 insertions, 0 deletions