Revision dad3b1ee
ID | dad3b1eeb0910c60465241babd8ababfd978015d |
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 | dad3b1eeb0910c60465241babd8ababfd978015d |
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.