edg-l/ddnet
1
0
Fork 0
mirror of https://github.com/ddnet/ddnet.git synced 2024-11-10 10:08:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
ddnet/.github/workflows
History
Robert Müller db17539652 Rewrite unused header style check shell script in Python 
As the shell script is pretty slow, taking roughly 84 seconds in the CI, whereas the equivalent Python script takes only 1 second.
2023-10-14 15:21:28 +02:00
..
build.yml Hopefully fix intermittent CI failures 2023-09-12 21:22:17 +02:00
clang-sanitizer.yml Hopefully fix intermittent CI failures 2023-09-12 21:22:17 +02:00
clang-tidy.yml Hopefully fix intermittent CI failures 2023-09-12 21:22:17 +02:00
codeql-analysis.yml Hopefully fix intermittent CI failures 2023-09-12 21:22:17 +02:00
rust.yml Hopefully fix intermittent CI failures 2023-09-12 21:22:17 +02:00
style.yml Rewrite unused header style check shell script in Python 2023-10-14 15:21:28 +02:00