You can use it as a Github Action like this:
.github/main.workflow
workflow "Main" {
on = "push"
resolves = ["Psalm"]
}
action "Psalm" {
uses = "docker://mickaelandrieu/psalm-ga"
secrets = ["GITHUB_TOKEN"]
}
to add specific arguments:
workflow "Main" {
on = "push"
resolves = ["Psalm"]
}
action "Psalm" {
uses = "docker://mickaelandrieu/psalm-ga"
secrets = ["GITHUB_TOKEN"]
+ args = "--find-dead-code --threads=8 --diff --diff-methods"
}
You can copy/paste the .github folder (under examples/) to your project and thats all!
A Docker-Image is built automatically and located here: https://cloud.docker.com/u/mickaelandrieu/repository/docker/mickaelandrieu/psalm-ga
You can run it in any given directory like this:
docker run --rm -it -w=/app -v ${PWD}:/app mickaelandrieu/psalm-ga:latest