]> git.pld-linux.org Git - projects/pld-builder.new.git/commitdiff
Add 8.0 to php_ignores list
authorElan Ruusamäe <glen@delfi.ee>
Wed, 14 Oct 2020 20:06:49 +0000 (23:06 +0300)
committerElan Ruusamäe <glen@delfi.ee>
Wed, 14 Oct 2020 20:06:49 +0000 (23:06 +0300)
PLD_Builder/request.py

index 0bc40aa9b8bab1b92978d46cd5a6c28683097d3c..667859129bd15449476d89c8b8eb7cef00d03fa4 100644 (file)
@@ -409,7 +409,7 @@ class Batch:
 
     def php_ignores(self, php_version):
         # available php versions in distro
-        php_versions = ['4', '5.2', '5.3', '5.4', '5.5', '5.6', '7.0', '7.1', '7.2', '7.3', '7.4']
+        php_versions = ['4', '5.2', '5.3', '5.4', '5.5', '5.6', '7.0', '7.1', '7.2', '7.3', '7.4', '8.0']
 
         # remove current php version
         try:
This page took 0.213279 seconds and 4 git commands to generate.