diff options
| author | Florian Dold <florian.dold@gmail.com> | 2020-09-09 02:22:22 +0530 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2020-09-09 02:22:22 +0530 |
| commit | 7d9c98a90c016046cfba5b0c6616dbc35939dfab (patch) | |
| tree | 977901071681adc6650180c2672d23a8bf26a336 /.gitlab-ci.yml | |
| parent | 67df550b4f6d67f8de346985df26133dc8da5c05 (diff) | |
include proposal ID, to allow aborting
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions