PR Lint

chore: rename agent_id / team_id/ workflow_id -> id #4503

Sign in to view logs

Triggered via pull request August 7, 2025 23:05

Mustafa-Esoofally

edited #4118

chore/agent-id-rename

Status Success

Total duration 6s

Artifacts –

pr-lint.yml

on: pull_request

Lint PR Title and Body