Skip to content

Merge pull request #392 from sjrd/remove-useless-flags #987

Merge pull request #392 from sjrd/remove-useless-flags

Merge pull request #392 from sjrd/remove-useless-flags #987

Triggered via push November 18, 2023 15:28
Status Success
Total duration 3m 21s
Artifacts

scala.yml

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