Skip to content

Merge pull request #408 from mkurz/revert_mima #47

Merge pull request #408 from mkurz/revert_mima

Merge pull request #408 from mkurz/revert_mima #47

Triggered via push October 20, 2023 19:59
Status Skipped
Total duration 3s
Artifacts

publish.yml

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