Open
Description
As checks-done
step is missing, PRs would get merged even if one of the steps fails:
https://github.com/db-ui/theme-builder/actions
As checks-done
step is missing, PRs would get merged even if one of the steps fails:
https://github.com/db-ui/theme-builder/actions