Skip to content

Merge pull request #120 from ls1intum/fix/ignore-exit-code-of-nginx-r… #862

Merge pull request #120 from ls1intum/fix/ignore-exit-code-of-nginx-r…

Merge pull request #120 from ls1intum/fix/ignore-exit-code-of-nginx-r… #862

lint

succeeded Feb 14, 2025 in 1m 59s