Skip to content

ci: fix schedule refresh workflow pr comment#487

Merged
rdhar merged 1 commit intomainfrom
ci--fix-schedule-refresh-workflow-pr-comment
Jul 30, 2025
Merged

ci: fix schedule refresh workflow pr comment#487
rdhar merged 1 commit intomainfrom
ci--fix-schedule-refresh-workflow-pr-comment

Conversation

@rdhar
Copy link
Copy Markdown
Member

@rdhar rdhar commented Jul 30, 2025

Fixes example workflow documentation, thanks to @jlkravitz.

Resolves #483.

Signed-off-by: Rishav Dhar <19497993+rdhar@users.noreply.github.com>
@rdhar rdhar merged commit f6d1ef5 into main Jul 30, 2025
1 check passed
@rdhar rdhar deleted the ci--fix-schedule-refresh-workflow-pr-comment branch July 30, 2025 17:29
@rdhar rdhar mentioned this pull request Aug 3, 2025
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.

schedule refresh workflow

1 participant