Files
kured/.github/workflows
Jean-Philippe Evrard bd0d901d22 Fix typo in github workflows
Without this patch, the PR jobs are broken and no jobs are running.
This was a recently introduced typo in the last refactor of the
PR jobs.

This should fix it, and make the PR test working again.
2020-12-07 12:35:52 +01:00
..
2020-11-30 10:30:41 +01:00
2020-12-07 12:35:52 +01:00
2020-12-01 08:36:35 +01:00
2020-12-01 08:36:35 +01:00
2020-12-01 08:36:35 +01:00