.github/workflows/prep_sources.yml
Thu, 28 Jul 2022 17:44:10 +0200 Edouard Tisserant GH CI : use artifacts to get data flowing from one workflow to the other
Thu, 28 Jul 2022 17:20:59 +0200 Edouard Tisserant GH CI : adapt to workflow syntax restrictions
Thu, 28 Jul 2022 17:05:53 +0200 Edouard Tisserant merge and update revision IDs
Thu, 28 Jul 2022 16:54:04 +0200 Edouard Tisserant GH action : split workflows for later re-use of source provisioning.