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.

Sign up for GitHub

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

Jump to bottom

chore: update org.json to 20231013 #2971

Merged
merged 1 commit into from
Nov 7, 2023
Merged

chore: update org.json to 20231013 #2971

merged 1 commit into from
Nov 7, 2023

Conversation

mmelko
Copy link
Contributor

@mmelko mmelko commented Nov 6, 2023

No description provided.

@mmelko mmelko mentioned this pull request Nov 6, 2023
Closed
@github-actions GitHub Actions
Copy link

github-actions bot commented Nov 6, 2023

Test Results

    4 files  ±0      4 suites  ±0   15m 5s ⏱️ - 1m 58s
  59 tests ±0    59 ✔️ ±0  0 💤 ±0  0 ❌ ±0 
234 runs  ±0  234 ✔️ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit e7af2b7. ± Comparison against base commit a081e8e.

@hawtio-ci
Copy link

hawtio-ci bot commented Nov 6, 2023

Test results

Run attempt: 505
Detailed summary

NAME TESTS PASSED ✅ SKIPPED 💤 FAILED ❌ ERRORS 🚫 TIME 🕖
results-quarkus-17-firefox 59 59 0 0 0 192.532
results-quarkus-21-firefox 59 59 0 0 0 188.875
results-springboot-17-firefox 58 58 0 0 0 266.071
results-springboot-21-firefox 58 58 0 0 0 258.36

@tadayosi tadayosi merged commit 482d08c into hawtio:4.x Nov 7, 2023
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tadayosi tadayosi tadayosi approved these changes

@oscerd oscerd oscerd approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@mmelko @tadayosi @oscerd