Skip to content
Ubuntu-dep-apt

Merge pull request #1358 from fspindle/fix_ubuntu-12.04-ci #1703

Sign in to view logs

Merge pull request #1358 from fspindle/fix_ubuntu-12.04-ci

Merge pull request #1358 from fspindle/fix_ubuntu-12.04-ci #1703

build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-9, /usr/bin/g++-9, 98)

build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-9, /usr/bin/g++-9, 98)
succeeded Mar 26, 2024 in 7m 56s