Skip to content
Lint

Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR #15743

Sign in to view logs

Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR

Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR #15743

Triggered via pull request November 25, 2024 13:38
@neubigneubig
synchronize #5181
openhands-fix-issue-5179
Status Cancelled
Total duration 46s
Artifacts –

lint.yml

on: pull_request
Lint frontend
25s
Lint frontend
Lint python
34s
Lint python
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Lint frontend
Canceling since a higher priority waiting request for 'Lint-refs/pull/5181/merge' exists
Lint frontend
The operation was canceled.
Lint python
Canceling since a higher priority waiting request for 'Lint-refs/pull/5181/merge' exists
Lint python
The operation was canceled.