CI: Build fix

2023-09-30 15:17:18 +10:00
parent 1611885c12
commit 7c102ec29d
5 changed files with 7 additions and 8 deletions
--- a/src/core/achievements.h
+++ b/src/core/achievements.h
@ -6,6 +6,7 @@
 #include "common/small_string.h"
 #include "common/types.h"

+#include <mutex>
 #include <string>
 #include <utility>
 #include <vector>