Skip to content
Back to pull request #1895

Move docker build to separate script for less jank #1495

Sign in to view logs

Move docker build to separate script for less jank

Move docker build to separate script for less jank #1495

build (ubuntu-20.04, OFF, ON, clang, 12)

build (ubuntu-20.04, OFF, ON, clang, 12)
succeeded May 2, 2024 in 1m 29s