Files
soci/scripts/ci
Vadim Zeitlin 1fd22cf9b1 Remove Microsoft apt repositories before apt-updating
If nothing else, this should speed up the process a little, but it might
also fix spurious errors that we get in CodeQL builds all the time now.
2022-10-27 23:43:13 +02:00
..
2021-10-11 21:42:00 +07:00