Skip to content

Removal of Mercury and Numeric version schemes, refactoring #2043

Removal of Mercury and Numeric version schemes, refactoring

Removal of Mercury and Numeric version schemes, refactoring #2043

Triggered via pull request March 15, 2025 07:55
Status Cancelled
Total duration 36s
Artifacts

maven.yml

on: pull_request
Verify  /  setup-maven-version
2s
Verify / setup-maven-version
Verify  /  ubuntu-latest jdk-17-zulu 3.9.9
9s
Verify / ubuntu-latest jdk-17-zulu 3.9.9
Matrix: Verify / verify
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Verify / ubuntu-latest jdk-17-zulu 3.9.9
The operation was canceled.
Verify / ubuntu-latest jdk-17-zulu 3.9.9
Canceling since a higher priority waiting request for GitHub CI-refs/pull/1212/merge exists
GitHub CI
Canceling since a higher priority waiting request for GitHub CI-refs/pull/1212/merge exists