Fix #2063: replace travis badge with github workflow badge
Fix #2063: replace travis badge with github workflow badge

josdejong/mathjs,josdejong/mathjs,josdejong/mathjs,FSMaxB/mathjs,josdejong/mathjs,FSMaxB/mathjs,FSMaxB/mathjs,josdejong/mathjs,FSMaxB/mathjs,FSMaxB/mathjs