2 Commits

Author	SHA1	Message	Date
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