In a large skillet, heat the olive oil. Add the garlic and cook over moderately high heat until fragrant, about 30 seconds. Stir in the ground ginger and crushed red pepper, then add the beans. Season with salt and stir-fry until the garlic is lightly browned and the beans are tender, 2 to 3 minutes. Transfer the beans to a platter and serve.