A one-day workshop for teaching AWS basics to developers