Skip to content
Build with Gradle

Add port selection to micro ide startup #111

Sign in to view logs

Add port selection to micro ide startup

Add port selection to micro ide startup #111

Triggered via push November 23, 2025 11:30
@MaartenS11MaartenS11
pushed f71a5ff
feat/micro-ide
Status Success
Total duration 1m 38s
Artifacts 1

gradle.yml

on: push
build
1m 33s
build
dependency-submission
1m 10s
dependency-submission
Fit to window
Zoom out
Zoom in

Annotations

2 warnings and 1 notice
dependency-submission
Failed to restore gradle-home-v1|Linux-X64|dependency-submission[05450caf2377413b49d74f6028672552]-f71a5ff7eb7b703116683d77f530c677e5e4644d: Error: Cache service responded with 400
build
Failed to restore gradle-home-v1|Linux-X64|build[05450caf2377413b49d74f6028672552]-f71a5ff7eb7b703116683d77f530c677e5e4644d: Error: Cache service responded with 400
dependency-submission
Submitted dependency-graph-reports/build_with_gradle-dependency-submission.json: The snapshot was accepted, but it is not for the default branch. It will not update dependency results for the repository.

Artifacts

Produced during runtime
Name Size Digest
MIO fatJar
10.3 MB
sha256:88aa84f1009347232da260a75734d290ece4ba5e39e9aaf8fe664ae7b45c1693