Skip to content
Back to pull request #24197

update opam Portfile: add dependency on gpatch #28648

Sign in to view logs

update opam Portfile: add dependency on gpatch

update opam Portfile: add dependency on gpatch #28648

Triggered via pull request May 30, 2024 11:27
@mserimseri
synchronize #24197
mseri:fix-opam
Status Success
Total duration 14m 19s
Artifacts 4

main.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
logs-macos-11 Expired
13 KB
logs-macos-12 Expired
12.9 KB
logs-macos-13 Expired
13.7 KB
logs-macos-14 Expired
13.8 KB