Closed yrammos closed 2 years ago
This is proposed as a manually executed GitHub action for now. Once mature, it can be modified to run on each push or merge operation.
Duplicate. Closing.
This is proposed as a manually executed GitHub action for now. Once mature, it can be modified to run on each push or merge operation.