How do I enable job history on Gurobi Instant Cloud?

To enable job history on a given pool from the Cloud Manager:

1. Go to Servers -> Pools.
2. Click on the pencil icon of the pool you wish to edit. 
3. Select tab Options.
4. Tick the checkbox Job History.
5. Click Save.

Note: You'll need to restart the pools for the changes to take effect. To do this, select the appropriate pool. Then, terminate it with the stop symbol. Finally, start it again.