Skip to content
Cleanup Pull Requests

Code Editor: Improve types and fix options handling to avoid double-l… #373

Sign in to view logs

Code Editor: Improve types and fix options handling to avoid double-l…

Code Editor: Improve types and fix options handling to avoid double-l… #373

Triggered via push March 3, 2026 22:14
@peterwilsonccpeterwilsoncc
pushed b6c1bb7
trunk
Status Skipped
Total duration 1s
Artifacts –

cleanup-pull-requests.yml

on: push
Clean up pull requests  /  Find and close PRs
Clean up pull requests / Find and close PRs
Fit to window
Zoom out
Zoom in