Skip to content
Lint

feat: add DeleteFile tool to delete files from GitHub repositories (#… #903

Sign in to view logs

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

feat: add DeleteFile tool to delete files from GitHub repositories (#… #903

Triggered via push May 13, 2025 12:22
@williammartinwilliammartin
pushed da2df71
main
Status Success
Total duration 27s
Artifacts –

lint.yaml

on: push
lint
21s
lint
Fit to window
Zoom out
Zoom in