Skip to content

Merge pull request #417 from sjrd/allow-unique-name-for-class-type-param #1035

Merge pull request #417 from sjrd/allow-unique-name-for-class-type-param

Merge pull request #417 from sjrd/allow-unique-name-for-class-type-param #1035

Triggered via push December 6, 2023 08:34
Status Success
Total duration 3m 27s
Artifacts

scala.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in