[bob-devel] update bob-devel

2 jobs for bob-devel-update in 70 minutes and 50 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #238091
docker
build_linux

01:10:50

passed #238092
intel macos
build_macos_intel

00:47:57