Revision 4e0cea347f8971026b40c4444df339369a3d1643

Committed on 14/07/2020 2:14 pm by Fabien Potencier <fabien@potencier.org> [GitHub Diff]

minor #172 Add a note about the Github action (fabpot)

This PR was merged into the 6.0-dev branch.

Discussion
----------

Add a note about the Github action

Commits
-------

013d9f0 Add a note about the Github action