8 Commits

Author	SHA1	Message	Date
Grégoire Geis	cd05df62c2	actions: clean up main.yml ... - separate publishing to a separate job - remove redundant calls to `success()` - only publish if `github.event_name` is "push"	2022-07-31 09:07:47 +02:00
Grégoire Geis	2cfa928329	misc: rename step of main GitHub action	2021-11-17 22:56:04 +01:00
Grégoire Geis	54d4040e51	misc: publish extension automatically on version bump	2021-11-08 21:20:38 +01:00
Grégoire Geis	da7d4771b4	Misc improvements; fix bugs related to delete in character-mode.	2021-05-06 19:39:32 +02:00
Grégoire Geis	890f6fc4ce	Make tests run in Linux in GitHub Actions.	2021-05-04 22:38:05 +02:00
Grégoire Geis	2d38438e15	Rewrite Dance for v0.5.0.	2021-05-04 22:10:37 +02:00
Grégoire Geis	d939ed6d1b	Run actions on master branch (instead of dev).	2021-01-03 00:34:04 +01:00
Grégoire Geis	79ecbbc469	Use prettier.	2020-10-13 14:35:08 +02:00