Mike Welsh 7171628b44 ci: Append GitHub build ID instead to extension version ... Appending the build date doesn't work (the Mozilla verison format requires each numeric to be <65536). Use GITHUB_RUN_NUMBER instead, which increases each time the workflow runs.		2021-04-16 22:17:01 -07:00
..
ISSUE_TEMPLATE	chore: Correct minor typo in issue template	2021-01-31 12:04:44 -08:00
workflows	ci: Append GitHub build ID instead to extension version	2021-04-16 22:17:01 -07:00