Skip to content

Github Actions: set top level permissions #127

Github Actions: set top level permissions

Github Actions: set top level permissions #127

Build

succeeded Apr 10, 2024 in 42s