penguin 8a483e6d6c ci: set default shell to login shell ...

This way /etc/profile is sourced in our gentoo jobs

2025-12-12 23:05:05 -06:00

..

gentoo-utils.yml

ci: set default shell to login shell

2025-12-12 23:05:05 -06:00