Commit graph

5 commits

Author SHA1 Message Date
Michal Sojka
527b8460e5 Move rosdistro updating to a separate script
... and fix bugs
2024-09-18 09:26:00 +02:00
Michal Sojka
ee76acc9c9 Update rosdistro only when necessary 2024-09-18 09:06:27 +02:00
Michal Sojka
2fd2d627ae github: Update rosdistro update workflow 2024-09-18 08:18:40 +02:00
Michal Sojka
c087166c38 github: Update rosdistro update workflow 2024-09-18 08:14:37 +02:00
Michal Sojka
fecc76a754 github: Add automatic rosdistro update 2024-09-18 07:57:56 +02:00