Assume the rule remainder condition when checking ensures #6886

Sign in to view logs

Annotations

2 errors and 2 warnings

Canceling since a higher priority waiting request for 'Test-booster-check-ensures-with-rule-remainder' exists

The operation was canceled.

Install Cachix

Cachix Daemon is not supported by this version of Cachix (1.6.0). Ignoring the 'useDaemon' option.

Install Cachix

No push credentials found. Ignoring the 'useDaemon' option.