Skip to content

Merge pull request #400 from mkurz/adjust_mima #44

Merge pull request #400 from mkurz/adjust_mima

Merge pull request #400 from mkurz/adjust_mima #44

Triggered via push October 4, 2023 00:29
Status Skipped
Total duration 4s
Artifacts

publish.yml

on: push
Publish  /  ...  /  JDK ${{ inputs.java }}
0s
Publish / Artifacts / JDK ${{ inputs.java }}
Fit to window
Zoom out
Zoom in