Skip to content

Merge pull request #1423 from xuwei-k/HouseRules-scala-3 #1118

Merge pull request #1423 from xuwei-k/HouseRules-scala-3

Merge pull request #1423 from xuwei-k/HouseRules-scala-3 #1118

Triggered via push October 3, 2024 12:49
Status Success
Total duration 11m 23s
Artifacts

ci.yml

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