Back to pull request #24197

update opam Portfile: add dependency on gpatch #28648

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos-11	7m 11s
macos-12	3m 39s
macos-14	4m 11s
macos-13	7m 28s
	22m 29s