Skip to content

chore: remove unused properties from pom.xml #2257

chore: remove unused properties from pom.xml

chore: remove unused properties from pom.xml #2257

Triggered via pull request November 13, 2024 14:42
Status Cancelled
Total duration 9m 22s
Artifacts

build.yml

on: pull_request
extract-project-metadata
33s
extract-project-metadata
Matrix: build-with-defined-quarkus-version
Matrix: build-with-latest-stable-quarkus-version
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

4 errors
build-with-defined-quarkus-version (17) / build
Canceling since a higher priority waiting request for 'Build PRs and main when updated-refs/pull/999/merge' exists
build-with-defined-quarkus-version (17) / build
The operation was canceled.
build-with-defined-quarkus-version (21) / build
Canceling since a higher priority waiting request for 'Build PRs and main when updated-refs/pull/999/merge' exists
build-with-defined-quarkus-version (21) / build
The operation was canceled.