Commit Graph
4 Commits
Author SHA1 Message Date
Nuno Marques 0f4154005a ci: github: add ownership workaround 2024-05-18 20:15:26 +01:00
Nuno Marques 2eeb358d3c ci: github actions: update container images
- Updated container images to newer versions with Ubuntu Jammy as per 2024-05-18
- Migrated ROS container from Melodic to Noetic, since Melodic is EOL
2024-05-18 20:15:26 +01:00
Matthias Grob 0c2a8266bc CI: use the same container versions consistently
I updated all versions to the newest one that's used anywhere.
Then at least the straing can be found with full text search.
It's another step towards understanding and unifying the CI environment.
2023-07-19 07:46:45 -07:00
Beat Küng f9c8e760b1 CI: add failsafe web build & deployment to the user guide 2022-10-13 16:05:25 -04:00