Huáng Jùnliàng
87d747976d
chore: use latest node in GitHub actions ( #11598 )
...
* chore: use latest node and update actions
* chore: clean up unused information
2020-05-22 22:12:31 -04:00
Huáng Jùnliàng
eaff9f837a
chore: migrate lock threads to github actions ( #11163 )
...
Co-Authored-By: Armin Sebastian <hi@armin.dev>
Co-authored-by: Armin Sebastian <github@armin.dev>
2020-02-22 11:18:52 +01:00
Huáng Jùnliàng
83993b08d5
chore: separate build-standalone with coverage ( #10905 )
...
* chore: separate build-standalone with coverage
* style polish
2019-12-23 19:03:45 +01:00
Huáng Jùnliàng
c5cfc83182
Move coverage to GitHub actions ( #10898 )
...
* chore: remove Circle CI test config
* chore: add GitHub Actions: Report Coverage
* chore: polish the step names
* chore: remove Circle CI test job definition
* chore: remove cache actions as it seems that they are hanging forever
2019-12-20 21:32:22 +01:00
Nicolò Ribaudo
e4b4831100
Update GitHub actions to v2 ( #10441 )
...
* Update GitHub actions to v2 [skip ci]
* Only run when needed for issues [skip ci]
2019-09-16 22:38:12 +02:00
