Skip to content

Fix #10042 Don't recommend deprecated/removed 'extensions:' field #10089

Fix #10042 Don't recommend deprecated/removed 'extensions:' field

Fix #10042 Don't recommend deprecated/removed 'extensions:' field #10089

Annotations

11 warnings

Bootstrap ubuntu-latest ghc-9.2.8

succeeded May 26, 2024 in 11m 26s