Bug #77983 [Ver->Csd]: PGO build not attempted

From: Date: Tue, 07 May 2019 22:27:10 +0000
Subject: Bug #77983 [Ver->Csd]: PGO build not attempted
References: 1  Groups: php.bugs 
Request: Send a blank email to php-bugs+get-220760@lists.php.net to get a copy of this message
Edit report at https://bugs.php.net/bug.php?id=77983&edit=1

 ID:                 77983
 Updated by:         cmb@php.net
 Reported by:        celestinoxp at hotmail dot com
 Summary:            PGO build not attempted
-Status:             Verified
+Status:             Closed
 Type:               Bug
 Package:            *General Issues
 Operating System:   Windows10
 PHP Version:        master-Git-2019-05-07 (Git)
 Assigned To:        cmb
 Block user comment: N
 Private report:     N

 New Comment:

This bug has been fixed[1], and the master snapshot builds are back
on track.

[1] <http://git.php.net/?p=web/rmtools.git;a=commit;h=793e67a7c77c8123d6857b2c5fd958f5194ae3fb>


Previous Comments:
------------------------------------------------------------------------
[2019-05-07 18:12:16] cmb@php.net

Thanks for reporting!  I'll have a look at it as soon as possible.

------------------------------------------------------------------------
[2019-05-07 18:12:15] cmb@php.net

Thanks for reporting!  I'll have a look at it as soon as possible.

------------------------------------------------------------------------
[2019-05-07 17:36:06] celestinoxp at hotmail dot com

Description:
------------
Last builds in https://windows.php.net/downloads/snaps/master/
reporting error.

json files reporting that:

{"stats":{"warning":0,"error":1},"has_php_pkg":false,"has_debug_pkg":false,"has_devel_pkg":false,"has_test_pkg":false,"build_error":["PGO
build not attempted"]}



------------------------------------------------------------------------



--
Edit this bug report at https://bugs.php.net/bug.php?id=77983&edit=1


Thread (6 messages)

« previous php.bugs (#220760) next »