Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update validation.yml to include a run of checkstyle before the expen… #20857

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

edler-san
Copy link
Contributor

No description provided.

Copy link

Test Results

1 163 files  ± 0  1 163 suites  ±0   1h 30m 45s ⏱️ - 2m 24s
7 620 tests ± 0  7 564 ✅ ± 0  56 💤 ±0  0 ❌ ±0 
7 940 runs   - 51  7 877 ✅  - 49  63 💤  - 2  0 ❌ ±0 

Results for commit 8e85046. ± Comparison against base commit 049bfdf.

@mshabarov mshabarov added the Contribution PRs coming from the community or external to the team label Jan 20, 2025
@mshabarov mshabarov self-assigned this Jan 20, 2025
@mshabarov mshabarov removed the Contribution PRs coming from the community or external to the team label Jan 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants