Bootstrap

Mergify and actions upgrades (backport #10260) #10963

Sign in to view logs

Annotations

2 errors and 4 warnings

Canceling since a higher priority waiting request for 'refs/pull/10300/merge-Bootstrap' exists

The operation was canceled.

Module ‘System.OsString.Posix’ is deprecated:

In the use of type constructor or class ‘Option’

In the use of data constructor ‘Option’

In the use of ‘getOption’ (imported from Data.Semigroup):

This job was cancelled