Diego db707d15da Remove -y from install_pinned ... Apparently, this -y makes install_pinned run just as install		2023-11-15 19:58:47 +01:00
..
actions/install_nim	Reuseable install_nim action (#803)	2022-11-21 16:56:04 +01:00
workflows	Remove -y from install_pinned	2023-11-15 19:58:47 +01:00