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

(cherry picked from commit 5991dcb12b638a0ef483fddeeda3e5744012dda6)

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

..

cleanup

…

conf_merge

Core/Servers: nuke authserver

2019-09-30 07:26:54 +02:00

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

Contrib/Grafana: updated dashboards (#20563)

2017-10-16 19:35:34 +02:00

ScriptsConverter

…

valgrind

…

check_codestyle.sh

CI/Circle CI: Enforce codestyle checks

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

check_updates.sh

CI/Circle CI: Prepare circle-ci

2020-04-01 23:30:56 +02:00

extractor.bat

Misc: Make extractor more clear for some users

2018-09-11 13:34:23 +02:00

merge_updates_unix.sh

Make codacy happy

2018-04-08 10:05:37 +00:00

merge_updates_windows.bat

…