Skip to content

Add check for pull requests (GitHub action)#892

Open
stweil wants to merge 1 commit into
OCR-D:masterfrom
stweil:ci
Open

Add check for pull requests (GitHub action)#892
stweil wants to merge 1 commit into
OCR-D:masterfrom
stweil:ci

Conversation

@stweil

@stweil stweil commented Jul 16, 2022

Copy link
Copy Markdown
Contributor

Signed-off-by: Stefan Weil sw@weilnetz.de

@stweil

stweil commented Jul 16, 2022

Copy link
Copy Markdown
Contributor Author

See this example of a bad pull request which triggers a CI failure.

Signed-off-by: Stefan Weil <sw@weilnetz.de>
@stweil

stweil commented Apr 15, 2024

Copy link
Copy Markdown
Contributor Author

@kba, please merge.

@stweil

stweil commented Apr 15, 2024

Copy link
Copy Markdown
Contributor Author

This new GitHub action currently checks pull requests for whitespace issues. It can be extended to

  • check for typos
  • check for author names without valid name and e-mail
  • check for valid signature
  • more?

What formal checks for pull requests should be added?

The action code includes code from https://github.com/JensDll/should-run. That is a GitHub action which could be used to select the CI tests depending on the changes made by a pull request. For example the pull request here does not change code, so running all CI tests is not necessary and currently wasting resources.

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