Back to pull request #10413

Fix missing file renames in Makefile due to changes in commit ae8de6d50a #11821

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
nix-build (ubuntu-latest)	6m 12s
nix-eval (ubuntu-latest)	2m 10s
nix-build (macos-latest)	5m 20s
nix-eval (macos-latest)	3m 25s
	17m 7s