[bob-devel] update no pin list

2 jobs for bob-devel-update in 71 minutes and 33 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  Build
passed #242351
docker
build_linux

01:11:32

passed #242352
intel macos
build_macos_intel

00:48:52