Giacomo Pozzoni 1c4e4353d0 CI/CircleCI: Switch to Ubuntu 21.04 (#26476) ...

(cherry picked from commit 5991dcb12b)

2021-07-29 19:07:52 +02:00

..

cleanup

…

conf_merge

…

debugger

Misc: Improve gdb script output

2020-04-22 17:05:24 +02:00

Docker

CI/CircleCI: Switch to Ubuntu 21.04 (#26476)

2021-07-29 19:07:52 +02:00

grafana

…

ScriptsConverter

…

valgrind

…

check_codestyle.sh

CI/Circle CI: Enforce codestyle checks

2020-06-11 16:50:33 +02:00

check_updates.sh

…

extractor.bat

…

merge_updates_unix.sh

…

merge_updates_windows.bat

…