Revision 0373e3cf
ID | 0373e3cffa234b80a472ec7bb38c8ae8c96f587f |
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 | 0373e3cffa234b80a472ec7bb38c8ae8c96f587f |
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.