From 498a44a118fdbd30a94ebd8ec588ca768aa64831 Mon Sep 17 00:00:00 2001 From: Evgeni Burovski Date: Tue, 1 Sep 2026 09:22:37 +0200 Subject: [PATCH 1/2] CI: register array-api-strict compliance report workflow --- registry/data.json | 27 ++++++++++++++++++++++++--- 1 file changed, 24 insertions(+), 3 deletions(-) diff --git a/registry/data.json b/registry/data.json index 8f8311b..5773024 100644 --- a/registry/data.json +++ b/registry/data.json @@ -2,9 +2,9 @@ "schema": "registry-v1", "libraries": [ { - "id": "array-api-strict", - "name": "Array API Strict", - "report_name": "array-api-strict", + "id": "array-api-strict-demo", + "name": "Array API Strict Demo", + "report_name": "array-api-strict-demo", "sources": [ { "id": "demo", @@ -21,6 +21,27 @@ } } ] + }, + { + "id": "array-api-strict", + "name": "Array API Strict", + "report_name": "array-api-strict", + "sources": [ + { + "id": "array-api-strict-ci", + "type": "ci_artifact", + "provider": "github", + "project": "data-apis/array-api-strict", + "ref": { + "kind": "branch", + "name": "main" + }, + "selector": { + "workflow": "report-compliance.yml", + "artifact": "array_api_compliance.json" + } + } + ] } ] } From d4c4fa7499997fc008bc4295ee01881bedc3c1d1 Mon Sep 17 00:00:00 2001 From: Athan Date: Tue, 1 Sep 2026 01:17:32 -0700 Subject: [PATCH 2/2] chore: remove demo registry Signed-off-by: Athan --- registry/data.json | 21 --------------------- 1 file changed, 21 deletions(-) diff --git a/registry/data.json b/registry/data.json index 5773024..7375876 100644 --- a/registry/data.json +++ b/registry/data.json @@ -1,27 +1,6 @@ { "schema": "registry-v1", "libraries": [ - { - "id": "array-api-strict-demo", - "name": "Array API Strict Demo", - "report_name": "array-api-strict-demo", - "sources": [ - { - "id": "demo", - "type": "ci_artifact", - "provider": "github", - "project": "data-apis/array-api-tests-compliance-data", - "ref": { - "kind": "branch", - "name": "main" - }, - "selector": { - "workflow": "demo.yml", - "artifact": "array_api_compliance.json" - } - } - ] - }, { "id": "array-api-strict", "name": "Array API Strict",