Lint

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

Sign in to view logs

Re-run triggered May 12, 2025 12:30

#356

ashwin-ant:ashwin/deletefile

Status Success

Total duration 26s

Artifacts –

lint.yaml

on: pull_request