post commit CI

fix(MediaWiki:Gadget-wikieditor-highlight.js): toggle #1072

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
skipCI	16s
postCommit	29s
linter_test	38s
webhook	0s
	1m 23s