Dennis Guse 70f571cd09 CI: avoid OutOfMemoryError. ...

Fixes #599.

2021-03-07 19:46:37 +01:00

..

codeql-analysis.yml

CodeQL action: removed now unecessary step.

2020-12-20 00:03:42 +01:00

test.yml

CI: avoid OutOfMemoryError.

2021-03-07 19:46:37 +01:00