3 Commits

Author	SHA1	Message	Date
Ramon Roche	28487350d3	ci: update actions and images ... Updates some actions to run build steps in container instead of the whole workflow.	2024-12-04 12:59:27 -05: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