Skip to content

#625: changed base URL - #626

Merged
dbenn merged 1 commit into
masterfrom
625-pluginmanagertest-failure
Sep 12, 2026
Merged

dbenn merged 1 commit into
masterfrom
625-pluginmanagertest-failure

Conversation

@dbenn

@dbenn dbenn commented Sep 9, 2026

Copy link
Copy Markdown
Collaborator

Updated base URL to use giohub.io

@dbenn
dbenn requested a review from mpyat2 September 9, 2026 12:53
@dbenn dbenn self-assigned this Sep 9, 2026
@dbenn dbenn added bug Something isn't working verification Unit tests, static analysis, and other forms of verification and QA labels Sep 9, 2026
@dbenn dbenn linked an issue Sep 9, 2026 that may be closed by this pull request
@dbenn dbenn added the plug-in Plug-in Development label Sep 9, 2026
@github-actions

github-actions Bot commented Sep 9, 2026

Copy link
Copy Markdown
Contributor

Plugin Unit Tests

All tests passed (Java 17)

Metric Value
Tests 32
Passed 32
Failures 0
Errors 0

@github-actions

github-actions Bot commented Sep 9, 2026

Copy link
Copy Markdown
Contributor

VStar Unit Tests

All tests passed (Java 17)

Metric Value
Tests 1013
Passed 1013
Failures 0
Errors 0

@dbenn
dbenn merged commit 8f6dec8 into master Sep 12, 2026
20 checks passed
@dbenn
dbenn deleted the 625-pluginmanagertest-failure branch September 19, 2026 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working plug-in Plug-in Development verification Unit tests, static analysis, and other forms of verification and QA

Projects

None yet

Development

Successfully merging this pull request may close these issues.

PluginManagerTest failure

2 participants