CI: migrate from Travis to GitHub Actions#389

Closed

davidhcefx wants to merge 11 commits intoscopatz:masterfrom davidhcefx:master

Commits on Mar 7, 2022

Commits on Mar 8, 2022

CI: Add highlight_test and badges
davidhcefx
committed

Commits on Apr 12, 2023

Force all syntax regex to ends with $

davidhcefx
authored and
david.hu
committed

Commits on May 3, 2023

[test] Adapt new error message and new behavior
davidhcefx
committed