From 1dcfaf0c8ed87da7b9a33f9cc9b4e83af9f3104c Mon Sep 17 00:00:00 2001
From: leanprover-community-mathlib4-bot
 <leanprover-community-mathlib4-bot@users.noreply.github.com>
Date: Sun, 28 Apr 2024 12:57:13 +0000
Subject: [PATCH] Trigger CI for https://github.com/leanprover/lean4/pull/4001