comment convertir des minutes entières en intervalle dans postgres

Le moyen le plus rapide est avec make_interval

make_interval(years int DEFAULT 0, months int DEFAULT 0, weeks int DEFAULT 0, days int DEFAULT 0, hours int DEFAULT 0, mins int DEFAULT 0, secs double precision DEFAULT 0.0)

Donc ça ressemble à ça (comme suggéré par @Teddy)

SELECT make_interval(mins => 20);

ou,

SELECT make_interval(0,0,0,0,0,20);

Pour ne pas dire que c'est le plus propre, si la vitesse n'est pas un problème, je préfère le * méthode @a_horse_with_no_name mentionné

SELECT 20 * '1 minute'::interval;