3 Commits

Author	SHA1	Message	Date
Rémi Verschelde	69e958b48d	CI: List contents of bin/ after build ... This can be used to compare impacts on the generated files and especially their size in PRs.	2020-10-15 19:50:49 +02:00
Hugo Locurcio	82b30f36cb	GitHub Actions: Prepend emoji to platform names for easy visual grepping	2020-08-23 15:13:36 +02:00
Gordon MacPherson	4705ee2ccf	Rename javascript_builds.yml to javascript_builds.disabled	2020-08-13 14:33:34 +01:00