Skip to content
Back to pull request #9609

Merge branch 'develop' into feature/programming-exercises/sarif-parser #1494

Sign in to view logs

Merge branch 'develop' into feature/programming-exercises/sarif-parser

Merge branch 'develop' into feature/programming-exercises/sarif-parser #1494

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check if translation keys are consistent
8s
8s