tests

ci: Fix push-docs: Add github.com host key to known hosts #1781

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
xmllint	12s
macos (minimal, 5.15.*)	47s
linux (minimal, 5.15.*)	1m 37s
macos (full, 5.15.*)	43s
reuse	15s
linux (full, 5.15.*)	55s
macos (full-debug, 5.15.*)	45s
windows	52s
linux (full-debug, 5.15.*)	56s
macos (minimal, 6..)	56s
linux (minimal, 6.1.*)	58s
linux (minimal, 6.6.*)	56s
cpp-linter	1m 5s
	10m 57s