diff options
| author | Francesco Renzi <rentziass@github.com> | 2022-10-04 13:44:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-04 13:44:41 +0100 |
| commit | 7d71944e7053896991e0ca6a0a880ae0cf350f9f (patch) | |
| tree | 8291035ca14ca4db14c3b96e9ea2092b8cb68591 /src | |
| parent | 9069108c05171098848c6cfe458dd9c8c86efe60 (diff) | |
Add workflow to update a main version (#942)
* Add workflow to update a main version
* New line
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions