-
由 Bogdan Kobylynskyi 提交于
* Migrate from CircleCI to GitHub Actions #115 * Move codecov to a separate job, disable jdk 11,13 for a moment #115 * Fix caching actions #115 * Reorder tasks, add badge #115
3c699707
* Migrate from CircleCI to GitHub Actions #115 * Move codecov to a separate job, disable jdk 11,13 for a moment #115 * Fix caching actions #115 * Reorder tasks, add badge #115