Skip to content

Make the slicing options of the mirror-target-platform mojo configurable #2629

Make the slicing options of the mirror-target-platform mojo configurable

Make the slicing options of the mirror-target-platform mojo configurable #2629

Triggered via pull request February 16, 2024 14:33
Status Success
Total duration 18m 3s
Artifacts

verify-platform.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build
org/eclipse/jgit/internal/JGitText
build
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: stCarolas/setup-maven@07fbbe97d97ef44336b7382563d66743297e442f. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.