Adición de fechas que faltan en el marco de datos

Tengo un marco de datos que se parece a esto:

    times                      values
1   2013-07-06 20:00:00        0.02
2   2013-07-07 20:00:00        0.03
3   2013-07-09 20:00:00        0.13
4   2013-07-10 20:00:00        0.12
5   2013-07-11 20:00:00        0.03
6   2013-07-14 20:00:00        0.06
7   2013-07-15 20:00:00        0.08
8   2013-07-16 20:00:00        0.07
9   2013-07-17 20:00:00        0.08

Faltan algunas fechas en los datos, y me gustaría insertarlas y transferir el valor del día anterior a estas nuevas filas, es decir, obtener esto:

    times                      values
1   2013-07-06 20:00:00        0.02
2   2013-07-07 20:00:00        0.03
3   2013-07-08 20:00:00        0.03
4   2013-07-09 20:00:00        0.13
5   2013-07-10 20:00:00        0.12
6   2013-07-11 20:00:00        0.03
7   2013-07-12 20:00:00        0.03
8   2013-07-13 20:00:00        0.03
9   2013-07-14 20:00:00        0.06
10  2013-07-15 20:00:00        0.08
11  2013-07-16 20:00:00        0.07
12  2013-07-17 20:00:00        0.08
...

He estado tratando de usar un vector de todas las fechas:

dates <- as.Date(1:length(df),origin = df$times[1])

Estoy atascado, y no puedo encontrar una manera de hacerlo sin un horrible bucle en el que me pierdo ... Gracias por su ayuda