Dennis Felsing
c291fe7eb9
Try using default MariaDB server version ( fixes #6079 )
2022-12-01 23:38:04 +01:00
Rafael Fontenelle
80292a263e
Update actions versions
2022-10-25 08:50:49 -03:00
Jupeyy
fbeba9eb5f
Add Vulkan backend
2022-03-21 12:39:51 +01:00
Dennis Felsing
c92423362e
Videorecorder on by default (also for github builds)
2022-03-01 22:56:24 +01:00
Dennis Felsing
e31f255a65
Use ninja instead of makefiles
2022-02-14 23:06:28 +01:00
def
c8bcda2984
Also remove from CodeQL
2021-12-07 18:16:38 +01:00
Jupeyy
55b6d27d36
Use ninja for building
2021-08-16 12:42:12 +02:00
Jupeyy
3d91628da2
Remove fetch-depth from CodeQL
2021-08-16 11:04:59 +02:00
def
7dd4b5e1a9
Don't use HEAD^2 in codeql anymore
...
> 1 issue was detected with this workflow: git checkout HEAD^2 is no
> longer necessary. Please remove this step as Code Scanning recommends
> analyzing the merge commit for best results.
https://github.com/ddnet/ddnet/actions/runs/931568951
2021-06-12 20:12:28 +02:00
Dennis Felsing
bea76a8f20
Create codeql-analysis.yaml
2020-10-01 12:01:05 +02:00