Lint

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

Sign in to view logs

Re-run triggered May 13, 2025 12:19

#356

ashwin-ant:ashwin/deletefile

Status Success

Total duration 28s

Artifacts –

lint.yaml

on: pull_request