Skip to content
Step 5, Merge your pull request

Merge pull request #13 from odersky/lean-scala-3 #22

Sign in to view logs

Merge pull request #13 from odersky/lean-scala-3

Merge pull request #13 from odersky/lean-scala-3 #22

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check current step number
3s
On merge
0s
3s