Lint

feat: add DeleteFile tool to delete files from GitHub repositories #898

Sign in to view logs

Re-run triggered May 13, 2025 12:06

#356

ashwin-ant:ashwin/deletefile

Status Success

Total duration 29s

Artifacts –

lint.yaml

on: pull_request