Michka Popoff 76e52ebe62 pr-pull: fix empty workflow check
workflow_run is an array, which first element is the json
returned by the github API. We need to check that first element
if we want to know if the workflow exists.
2020-11-25 16:10:35 +01:00
..
2020-11-16 02:05:29 +01:00
2020-11-13 12:26:36 +01:00
2020-11-16 08:02:50 -05:00
2020-11-19 16:01:10 +01:00
2020-11-13 12:26:36 +01:00
2020-11-18 10:13:57 +00:00
2020-11-20 00:43:15 +01:00
2020-11-13 12:26:36 +01:00
2020-11-13 12:26:36 +01:00
2020-11-13 12:26:36 +01:00
2020-11-13 12:26:36 +01:00
2020-11-13 12:26:36 +01:00
2020-11-16 08:02:50 -05:00
2020-11-16 08:02:50 -05:00
2020-11-16 08:02:50 -05:00
2020-11-13 12:26:36 +01:00
2020-11-25 16:10:35 +01:00
2020-11-13 12:26:36 +01:00
2020-11-13 12:26:36 +01:00
2020-11-16 08:02:50 -05:00
2020-11-16 08:02:50 -05:00
2020-11-13 12:26:36 +01:00
2020-11-13 12:26:36 +01:00
2020-11-13 12:26:36 +01:00
2020-11-16 07:56:50 -05:00
2020-11-13 12:26:36 +01:00
2020-11-18 10:15:53 +00:00
2020-11-16 08:02:50 -05:00
2020-11-13 12:26:36 +01:00
2020-11-13 12:26:36 +01:00