In current 7ff7fdfbb9a0 there is this breakdown:
HOL-Quickcheck_Examples FAILED
*** No specification for Abs_filter
*** At command "quickcheck" (line 150 of "~~/src/HOL/Quickcheck_Examples/Hotel_Example.thy")
*** No specification for Abs_filter
*** At command "quickcheck" (line 145 of "~~/src/HOL/Quickcheck_Examples/Hotel_Example.thy")
Since there is no way around a full "isabelle build -a" before pushing
anything, such incidents can't happen, at least in theory.
Makarius