Skip to content

Merge pull request #922 from mkurz/pin_deps #106

Merge pull request #922 from mkurz/pin_deps

Merge pull request #922 from mkurz/pin_deps #106

Triggered via push August 6, 2024 00:45
Status Skipped
Total duration 2s
Artifacts

publish.yml

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