CI: fix RUN command in fsm and ltl lit tests

[superlopuh]

The good news is that in the near future this will be detected automatically.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 91.31%. Comparing base (2d09184) to head (eeed7a2).
Report is 5 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #3944   +/-   ##
=======================================
  Coverage   91.30%   91.31%           
=======================================
  Files         467      467           
  Lines       58068    58068           
  Branches     5581     5581           
=======================================
+ Hits        53021    53025    +4     
  Misses       3616     3616           
+ Partials     1431     1427    -4     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[compor]

wdym?

[superlopuh]

I've got a branch locally that changes the lit config that detected these files, still need to make a few changes to make sure everything works properly but will open soon.