Nicolò Ribaudo 5b5b548036
Publish to npm from GitHub actions (#12526)
* Publish to npm from GitHub actions

* Remove publish-ci from Makefile

This was meant to be used _now_, but I didn't end up using it

* Test

* Revert "Test"

This reverts commit 04095c17db8352710c12849a5b1fa53e853bd6f5.
2020-12-23 00:18:03 +01:00
..