Rename 2025-05-12 to 2025-05-12.md #4145

Job	Run time
Test on Windows	2m 2s
Test and deploy	1m 35s
Test benchmarks (--include cargo-0.87.1,stm32f4-0.15.1, Opt)	6m 43s
Test benchmarks (--exclude cargo-0.87.1,stm32f4-0.15.1, Check,Debug,Doc)	10m 42s
Test benchmarks (--exclude cargo-0.87.1,stm32f4-0.15.1, Opt)	12m 14s
Test codegen backend benchmarks	1m 5s
Compare page endpoint test	3m 51s
Test profiling	4m 8s
Test benchmarks (--include cargo-0.87.1,stm32f4-0.15.1, Check,Debug,Doc)	6m 1s
Database Check	1m 10s
Test runtime benchmarks	4m 28s
	53m 59s

Provide feedback