Modifies the use of ign for gz in installation tutorial #1360

Sign in to view logs

Triggered via pull request September 14, 2023 18:16

Voldivh

opened #375

voldivh/change_ign_for_gz

Status Success

Total duration 4m 5s

Artifacts –

ci.yml

on: pull_request

Ubuntu Jammy CI