From 06e5afeab83af784040fca1875b549a689acc496 Mon Sep 17 00:00:00 2001 From: Yunsong Wang Date: Wed, 16 Oct 2024 16:36:09 -0700 Subject: [PATCH] Rename --- ci/{check_godbolt.py => check_example_links.py} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename ci/{check_godbolt.py => check_example_links.py} (100%) diff --git a/ci/check_godbolt.py b/ci/check_example_links.py similarity index 100% rename from ci/check_godbolt.py rename to ci/check_example_links.py