Meanwhile, in a large, deep skillet, heat the olive oil until shimmering. Add the garlic and crushed red pepper and cook over moderate heat until fragrant, about 20 seconds. Add the tomatoes, cover and cook until softened, about 5 minutes. Add the green beans, season with salt and simmer over moderate heat until tender, 4 to 5 minutes. Serve the beans warm or at room temperature.