Scrub Obsolete - agda-stdlib

No unpublished successful runs for agda-stdlib.

Cross-campaign view for agda-stdlib