Toplevel rust translation #2800

Sign in to view logs

Annotations

4 errors and 12 warnings

• Couldn't match type ‘prx0 w0 -> String -> m0 Some3FunPerm’

• Couldn't match type ‘prx0 w0 -> String -> m0 Some3FunPerm’

• Couldn't match type ‘prx0 w0 -> String -> m0 Some3FunPerm’

Process completed with exit code 1.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Defined but not used: ‘s’

Defined but not used: ‘ty’

This binding for ‘sym’ shadows the existing binding

This binding for ‘tp’ shadows the existing binding

This binding for ‘tp'’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The logs for this run have expired and are no longer available.