Bump core from `edf272d` to `72d544c` #3715

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	1m 20s
Lint	1m 6s
Check Changes	24s
Common types up to date	27s
Spell check	1m 4s
	4m 21s