Daniel Mangum 647e7a2a71 fix: Replace deprecated flushregs alias with full gdb command il y a 2 ans
..
logtrace 4f779bb7c6 ci: use `python -m coverage` instead of `coverage` executable il y a 4 ans
sysview 647e7a2a71 fix: Replace deprecated flushregs alias with full gdb command il y a 2 ans