Skip to content

ci: Add GitHub CI#52

Open
JanEbbing wants to merge 1 commit intomainfrom
add-gh-ci
Open

ci: Add GitHub CI#52
JanEbbing wants to merge 1 commit intomainfrom
add-gh-ci

Conversation

@JanEbbing
Copy link
Member

This adds basic CI to the project.

  • Checks for DeepL copyright header on PHP source files
  • Formatting/linting with phpcs
  • Builds and publishes the Dockerfile
  • Secret detection with gitleaks

Tests coming as a second step.

@JanEbbing JanEbbing force-pushed the add-gh-ci branch 3 times, most recently from 34e23f5 to 8067fe7 Compare July 16, 2024 15:51
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