mumax
diff --git a/‎.github/workflow/deploy-docs.yml‎ renamed to ‎.github/workflows/deploy-docs.yml‎ b/‎.github/workflow/deploy-docs.yml‎ renamed to ‎.github/workflows/deploy-docs.yml‎