Skip to content

Merge pull request #385 from mkurz/scala_3.3.1-RC5 #40

Merge pull request #385 from mkurz/scala_3.3.1-RC5

Merge pull request #385 from mkurz/scala_3.3.1-RC5 #40

Triggered via push September 12, 2023 23:39
Status Skipped
Total duration 3s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

publish.yml

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