Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR #3507
Triggered via pull request
November 23, 2024 14:36
neubig
Status
Success
Total duration
24m 41s
Artifacts
–
ghcr-build.yml
on: pull_request
Matrix: Build Image
Build App Image
7m 39s
Matrix: RT Unit Tests (openhands)
Matrix: RT Unit Tests (Root)
Update PR Description
5s
Matrix: Verify Hash Equivalence in Runtime and Docker images
All Runtime Tests Passed
0s
All Runtime Tests Passed
0s