-
Notifications
You must be signed in to change notification settings - Fork 41
Reenable spell checker #150
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
Conversation
|
preview available: https://docs.tds.cscs.ch/150 |
2 similar comments
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
4 similar comments
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
This reverts commit dcf6f89.
Allow posting comments etc.
af89271 to
9f968be
Compare
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
1 similar comment
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
|
preview available: https://docs.tds.cscs.ch/150 |
|
I'm going to force merge this for testing. With the |
Enables the spell checker CI action again with a revised workflow. This now uses
pull_request_targetfor the action context, so that PRs from forks can have comments posted on the PR.The workflow broke previously because the
prereleasebranch was force-pushed and the old pinned commit was removed. I'm keeping the pinned commit since this is running with thepull_request_targetevent because of security considerations, even if it may mean it breaks again in the future. If that happens, most likely only the commit needs to be updated.As before, the reporting may be too verbose, in which case we need to silence this a bit, but that can be changed over time.