Skip to content

Merge branch 'series/0.5' into merge-to-main #1194

Merge branch 'series/0.5' into merge-to-main

Merge branch 'series/0.5' into merge-to-main #1194

Test (ubuntu-22.04, 2.13, temurin@17, rootJVM)

succeeded Dec 30, 2024 in 3m 37s
Set up job
2s
Checkout current branch (full)
0s
Setup sbt
0s
Setup Java (temurin@17)
0s
sbt update
46s
Check that workflows are up to date
8s
Check headers and formatting
14s
Test
1m 28s
Check binary compatibility
9s
Generate API documentation
16s
Check scalafix lints
17s
Check unused compile dependencies
9s
Make target directories
0s
Compress target directories
0s
Upload target directories
0s
Post Setup Java (temurin@17)
2s
Post Setup sbt
0s
Post Checkout current branch (full)
0s
Complete job
0s