Skip to content

Replace github-report with reporting mode#3

Merged
thebiglabasky merged 1 commit into
mainfrom
herve/reporting-mode
Jul 9, 2026
Merged

Replace github-report with reporting mode#3
thebiglabasky merged 1 commit into
mainfrom
herve/reporting-mode

Conversation

@thebiglabasky

Copy link
Copy Markdown
Collaborator

Summary

  • replace the boolean github-report input with reporting: auto | github-check | github-actions
  • keep auto as the safe default: detach only when GitHub Check writeback is available, otherwise wait in GitHub Actions
  • make github-check fail fast when writeback is unavailable instead of creating a detached run with no visible result
  • make github-actions always wait and report through the CLI GitHub reporter and step summary

Test

  • ./scripts/test.sh

@thebiglabasky
thebiglabasky merged commit b4bca0f into main Jul 9, 2026
1 check passed
@thebiglabasky
thebiglabasky deleted the herve/reporting-mode branch July 9, 2026 10:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant