Antonin Delpeuch 9e94d32b49 GitHub actions migration followup (#3386) ... * Update CI badge in README.md after #3378 * Fix permissions issue with Coveralls token * Run jobs for Java 8 and 14. Temporarily re-hook the workflow to the pull_request event to test the setup. * Publish coverage for master builds too		2020-12-06 23:36:05 -05:00
..
pull_request.yml	GitHub actions migration followup (#3386)	2020-12-06 23:36:05 -05:00
release_manager.sh	Rename nightly releases to snapshot releases	2020-07-07 17:49:59 +02:00
snapshot_release.yml	GitHub actions migration followup (#3386)	2020-12-06 23:36:05 -05:00