Skip to content
External contributor greeter

Switch to building GMP from an unofficial git mirror #617

Sign in to view logs

Switch to building GMP from an unofficial git mirror

Switch to building GMP from an unofficial git mirror #617

Triggered via pull request January 4, 2024 15:32
@cameelcameel
opened #14767
Status Success
Total duration 14s
Artifacts –

welcome-external-pr.yml

on: pull_request_target
comment-external-pr
0s
comment-external-pr
Fit to window
Zoom out
Zoom in