Build main

Allow solution to build #3428

Annotations

2 errors and 4 warnings

The job running on runner GitHub Actions 14 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.

Redundant arguments are being ignored in function 'failwith'. Expected 1 but got 2 arguments.

Redundant arguments are being ignored in function 'failwith'. Expected 1 but got 2 arguments.

Redundant arguments are being ignored in function 'failwith'. Expected 1 but got 2 arguments.

Redundant arguments are being ignored in function 'failwith'. Expected 1 but got 2 arguments.