Skip to content
Back to pull request #8122

move public backend headers to the public include directory #4746

Sign in to view logs

move public backend headers to the public include directory

move public backend headers to the public include directory #4746

Run time

Learn about OS pricing on GitHub Actions
Job Run time
server-windows
8m 8s
server (ADDRESS, RelWithDebInfo)
4m 47s
server (UNDEFINED, RelWithDebInfo)
4m 1s
server (Release)
2m 58s
19m 54s