gitpod.io check doesn't run even though github app is installed and .gitpod.yml configured

[rfay]

Bug description

I installed the gitpod.io app some time ago on ddev and set up .gitpod.yml, etc. It worked at some point - the checks showed gitpod there. But then I started noticing it not showing up in checks any more.

Today I am reviewing docs for upcoming ddev v1.17.0 release and wanted to make sure they reflected the truth in saying you could go find the gitpod check... and I couldn't get it to work at all.

I completely uninstalled the github gitpod.io app and reinstalled it (today).

Steps to reproduce

To see it, visit any ddev PR, see for example ddev/ddev#2929 - there is no gitpod.io check.

Here are the permissions

(Note that I can't drag an image into your cool-looking bug report form on creation)

But here it is on edit:

Here is the .gitpod.yml: https://github.com/drud/ddev/blob/master/.gitpod.yml

Expected behavior

I expect to see a check show up for gitpod.

Example repository

This is currently happening on https://github.com/drud/ddev

[JanKoehnlein]

It seems like our GitHub app no longer creates buttons on PRs. See #3812

I've also proposed some fixes to re-enable your dockerfile.

[rfay]

Thanks @JanKoehnlein - I was talking here about the check, not about a button on PR.

[JanKoehnlein]

I think the check doesn't appear because you don't have a prebuild/init task in your .gitpod.yml. Other tasks are only executed in interactive workspaces.

[rfay]

Ah, that would explain it. Even though it has addcheck: true it doesn't happen if it doesn't do something in prebuild. Will try that.

[rfay]

Added an init in ddev/ddev#2933, it didn't add the check there.

Is there a difference between init: and prebuild: ?

[rfay]

Working, thanks for your wonderful and prompt support.