| Thu, 28 Jul 2022 17:20:59 +0200 | Edouard Tisserant | GH CI : adapt to workflow syntax restrictions | file | diff | annotate |
| Thu, 28 Jul 2022 17:05:53 +0200 | Edouard Tisserant | merge and update revision IDs | file | diff | annotate |
| Thu, 28 Jul 2022 16:54:04 +0200 | Edouard Tisserant | GH action : split workflows for later re-use of source provisioning. | file | diff | annotate |