Skip to content
CI Build

Merge pull request #5947 from pkriens/issue/do-refresh-in-workspace-w… #3857

Sign in to view logs

Merge pull request #5947 from pkriens/issue/do-refresh-in-workspace-w…

Merge pull request #5947 from pkriens/issue/do-refresh-in-workspace-w… #3857

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build JDK20 ubuntu-latest
15m 12s
Build JDK17 ubuntu-latest
19m 50s
Build JDK17 windows-latest
19m 48s
54m 50s