Merge pull request #2483 from BjoernLudwigPTB/master #5912

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
required-files	3s
no-readme	0s
markdownfmt	8s
metadata	10s
short	3s
ymlfmt	16s
	40s