From d95f066c3722705e14d4b2cdea199edbda111ad4 Mon Sep 17 00:00:00 2001 From: github-actions Date: Fri, 14 Feb 2025 03:41:23 +0000 Subject: [PATCH] Set default version to latest with mike 1.2.0.dev0