continuous-integration

refactor: Switch to GitHub Search Issues API for PR queries #335

Sign in to view logs

Triggered via pull request October 19, 2025 23:16

ghinks

opened #145

feat/efficient-pr-metadata-query

Status Success

Total duration 1m 36s

Artifacts –

ci.yml

on: pull_request

Matrix: build