Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use patched link-checker for periodic checks. #8430

Merged
merged 1 commit into from Apr 28, 2022

Conversation

creachadair
Copy link
Contributor

In #8339 we pointed the markdown link checker action to a patched version that
has the up-to-date version of the underlying check tool. In doing so, I missed
the periodic cron job that runs the same workflow. Update it to use the patched
version also.

Alternatively: We could probably just delete this cron workflow. I'm not sure it's really buying us much over running the check during PRs, which we now do.

In #8339 we pointed the markdown link checker action to a patched version that
has the up-to-date version of the underlying check tool. In doing so, I missed
the periodic cron job that runs the same workflow. Update it to use the patched
version also.
@creachadair creachadair merged commit 47d52fc into master Apr 28, 2022
@creachadair creachadair deleted the mjf/link-me-baby-one-more-time branch April 28, 2022 13:44
tychoish pushed a commit that referenced this pull request Apr 28, 2022
In #8339 we pointed the markdown link checker action to a patched version that
has the up-to-date version of the underlying check tool. In doing so, I missed
the periodic cron job that runs the same workflow. Update it to use the patched
version also.
tychoish pushed a commit to tychoish/tendermint that referenced this pull request Apr 29, 2022
In tendermint#8339 we pointed the markdown link checker action to a patched version that
has the up-to-date version of the underlying check tool. In doing so, I missed
the periodic cron job that runs the same workflow. Update it to use the patched
version also.
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.

None yet

2 participants