gsemaj 4592fc42af

CI/CD improvements ...

- PR builds will now run even if they weren't opened as drafts
- PR builds will now re-run when they get new commits
- Builds can now be manually triggered from GitHub

2023-10-10 14:35:07 -04:00

..

check-builds.yaml

CI/CD improvements

2023-10-10 14:35:07 -04:00