From 6cbfa30e8b6cb5893a1c692df6fd34e3d78e5471 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= Date: Tue, 28 Feb 2023 18:43:23 +0100 Subject: [PATCH] CI: Disable HTML5 export workflow for now, not ported to 4.0 --- .github/workflows/{export_html5.yml => export_html5.yml.disabled} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{export_html5.yml => export_html5.yml.disabled} (100%) diff --git a/.github/workflows/export_html5.yml b/.github/workflows/export_html5.yml.disabled similarity index 100% rename from .github/workflows/export_html5.yml rename to .github/workflows/export_html5.yml.disabled