use username for multi games #74

Merged
bence merged 2 commits from feature/use-username-for-multi into develop 2023-09-26 00:05:55 +02:00
Showing only changes of commit c4dd60e0de - Show all commits

4
Jenkinsfile vendored
View File

@ -37,7 +37,7 @@ pipeline {
sh 'vendor/bin/phpunit --log-junit unit_test_results.xml --testdox tests'
}
post {
success {
always {
archiveArtifacts 'unit_test_results.xml'
}
}
@ -56,7 +56,7 @@ pipeline {
sh 'php -d memory_limit=1G vendor/bin/phpstan analyse -c phpstan.neon --error-format=prettyJson > static_code_analysis_results.json'
}
post {
success {
always {
archiveArtifacts 'static_code_analysis_results.json'
}
}