Skip to content
PR Lint

feat: add manifest delete command (#206) #551

Sign in to view logs

feat: add manifest delete command (#206)

feat: add manifest delete command (#206) #551

Triggered via push February 3, 2026 16:36
@github-merge-queuegithub-merge-queue[bot]
pushed f0c10b9
main
Status Success
Total duration 1m 16s
Artifacts –

pr-lint.yml

on: push
check formatting
28s
check formatting
lint
42s
lint
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
check formatting
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
lint
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2