nodiscc ea57088177 tools: github actions: build docker images on pull requests ... - fixes https://github.com/shaarli/Shaarli/issues/1800 - do not push, only check that the image builds correctly - tag the image as :pr-PR_NUMBER		2023-08-19 13:44:58 +02:00
..
workflows	tools: github actions: build docker images on pull requests	2023-08-19 13:44:58 +02:00
mailmap	Update CHANGELOG and AUTHOR	2020-09-30 11:55:51 +02:00