Axel Cocat bad5bb7e25 fix #53 (#54) ...

* Revert "ci: add a date prefix to the doc PR's name (#53)"

This reverts commit 70a87e73d0.

* ci: add a date prefix to the doc PR's name

2022-07-06 16:03:51 +02:00

..

workflows

fix #53 (#54)

2022-07-06 16:03:51 +02:00