Skip to content
Server

enhance run script to be easy to change the parameters (#9448) #122

Sign in to view logs

enhance run script to be easy to change the parameters (#9448)

enhance run script to be easy to change the parameters (#9448) #122

Run time

Learn about OS pricing on GitHub Actions
Job Run time
server-windows
10m 20s
server (ADDRESS, RelWithDebInfo)
4m 52s
server (UNDEFINED, RelWithDebInfo)
4m 20s
server (Release)
3m 11s
22m 43s