Skip to content

fix: add extra debugging to GitHub Action#1173

Merged
bolinfest merged 1 commit intomainfrom
pr1173
May 30, 2025
Merged

fix: add extra debugging to GitHub Action#1173
bolinfest merged 1 commit intomainfrom
pr1173

Conversation

@bolinfest
Copy link
Collaborator

@bolinfest bolinfest commented May 30, 2025

https://github.com/openai/codex/actions/runs/15352839832/job/43205041563 appeared to fail around postComment(), but I don't see the output from fail() in the logs. Adding a bit more info.

@bolinfest bolinfest merged commit e207f20 into main May 30, 2025
9 checks passed
@bolinfest bolinfest deleted the pr1173 branch May 30, 2025 18:16
@github-actions github-actions bot locked and limited conversation to collaborators May 30, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant