ci: generate (some) github actions pipelines

[shykes]

This uses a Dagger pipeline to generate the Github Actions pipelines to run our Dagger pipelines.

To generate, run this command from the root of the repo:

dagger call -m .github config -o .github

[shykes]

FYI @aduermael @gdevillele :)

[shykes]

@aduermael @gdevillele I tried to use the same workflow names in the generated config, not sure why the "required checks" config is not matched... Would you mind sharing a screenshot of that setting, so I can understand the problem?

[gdevillele]

@shykes this ?

Thanks a lot for the PR!!

[gdevillele]

@shykes could it be related to the "source"?

[shykes]

@gdevillele I checked on another repo, and I don't understand why it doesn't match... Would you mind giving me admin access to the repo temporarily, so I can take a look? I suspect it takes into account the filename, even though the check names look identical in the UI. So I may have to just delete and re-create the required checks.

[shykes]

Ping @gdevillele @aduermael, if you give me (temporary) admin access on the repo I am happy to check on these required checks myself.

[shykes]

ready for review @aduermael :)