Revision 694c79bb
ID | 694c79bbc08ad4810514472d0036f5da0fd6a58a |
ci: Fix a bug
Flavor ids are integers so we have to turn them
into strings before comparing them with our value.
Files
- added
- modified
- copied
- renamed
- deleted
ID | 694c79bbc08ad4810514472d0036f5da0fd6a58a |
Added by Ilias Tsitsimpis over 10 years ago
ci: Fix a bug
Flavor ids are integers so we have to turn them
into strings before comparing them with our value.