Back to pull request #869

Rename `Url` symbols to `Path`. #2752

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-deb (debian-unstable)	3m 22s
build-deb (debian-bullseye)	3m 10s
build-deb (ubuntu-jammy)	3m 23s
build-deb (ubuntu-focal)	3m 20s
	13m 15s