Things learnt about Github actions

• Github actions need a shell specified to avoid silent pipeline failures on April 19, 2023

Browse all tags or all posts.