provider: GitHub

spec: binder-examples/minimal-dockerfile/HEAD

status: success