Skip to content

ci: bump mordant to 00778d3 so that the unused_pub count is stable - #43810

Merged
alii merged 1 commit into
mainfrom
robobun/5c0dd972/bump-mordant-00778d3
Sep 22, 2026
Merged

ci: bump mordant to 00778d3 so that the unused_pub count is stable#43810
alii merged 1 commit into
mainfrom
robobun/5c0dd972/bump-mordant-00778d3

ci: bump mordant to 00778d3 so that the unused_pub count is stable

e3d1fc4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar