build(ci): sync with repo before git commit
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 18 Sep 2023 12:49:54 +0000 (14:49 +0200)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 18 Sep 2023 12:49:54 +0000 (14:49 +0200)
commitf0067563b02cfd577efdd7edf3974bbb67568373
treeb2b30bf19affd18b59787ef89b729e8c1c53f332
parent660689f017615c233020793967822c31975e5aa0
build(ci): sync with repo before git commit

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
.github/workflows/external-benchmark.yml
.github/workflows/generate-documentation.yml