Merge pull request #262233 from gaelreyrol/php-extension-opentelemetry-1.0.0rc3

phpExtensions.opentelemetry: 1.0.0RC2 -> 1.0.0RC3
This commit is contained in:
Pol Dellaiera 2023-10-20 20:04:05 +02:00 committed by GitHub
commit c5ada8b4ca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +1,7 @@
{ lib, buildPecl, fetchFromGitHub }: { lib, buildPecl, fetchFromGitHub }:
let let
version = "1.0.0RC2"; version = "1.0.0RC3";
in buildPecl { in buildPecl {
inherit version; inherit version;
pname = "opentelemetry"; pname = "opentelemetry";
@ -10,7 +10,7 @@ in buildPecl {
owner = "open-telemetry"; owner = "open-telemetry";
repo = "opentelemetry-php-instrumentation"; repo = "opentelemetry-php-instrumentation";
rev = version; rev = version;
hash = "sha256-sCsJ4ZmQXTTG+ZxDzw3b6Su/8QUAVZv7vV6SuLBET+0="; hash = "sha256-0jHXl+Amjv0vLSuSWhkGAU25pkRXbJgdx02N6o2dUyw=";
}; };
sourceRoot = "source/ext"; sourceRoot = "source/ext";