Add PLAYERDIED built-in label to detect player death. (#399) #488
main.yml
on: push
unix
50s
unix-portable
46s
unix-misc
2m 52s
unix-static
1m 41s
MSYS2-MINGW64
2m 24s
MSYS2-MINGW32
2m 21s
AArch64-Switch
56s
ARM-3DS
46s
ARM-NDS
29s
PowerPC-Wii
47s
PowerPC-WiiU
48s
AddressSanitizer
53s
MemorySanitizer
1m 11s
UndefinedBehaviorSanitizer
33s