Skip to content
Back to pull request #10413

Fix missing file renames in Makefile due to changes in commit ae8de6d50a #8240

Sign in to view logs

Fix missing file renames in Makefile due to changes in commit ae8de6d50a

Fix missing file renames in Makefile due to changes in commit ae8de6d50a #8240

Run time

Learn about OS pricing on GitHub Actions
Job Run time
server (ADDRESS, RelWithDebInfo)
4m 16s
server-windows
7m 57s
server (UNDEFINED, RelWithDebInfo)
4m 12s
server (Release)
3m 16s
19m 41s