Skip to content
Back to pull request #448

Change to use the middle button of the mouse in GUI mode #225

Sign in to view logs

Change to use the middle button of the mouse in GUI mode

Change to use the middle button of the mouse in GUI mode #225

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and test
11m 21s
Build and test (-DPBRT_DBG_LOGGING=True)
28m 31s
Build and test (-DPBRT_FLOAT_AS_DOUBLE=True)
14m 1s
53m 53s