mirror of
https://github.com/zama-ai/concrete.git
synced 2026-02-09 12:15:09 -05:00
When a PR was opened, thus for the first commits push, aws builds weren't triggered. The workflow was only executed when commits were pushed once again (synchronize event).