2 Commits

Include renames

Author	SHA1	Message	Date
Benoit Blanchon	769e8440f5	CI: skip Particle job for Pull Requests	2021-02-05 13:00:56 +01:00
Benoit Blanchon	3975b07371	Moved CI from Travis to GitHub Actions (fixes #1493)	2021-02-03 21:33:18 +01:00