The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

'Value' overrides Object.Equals(object o) but does not override Object.GetHashCode()

Non-nullable field 'filename' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.

Parameter 'filename' is unread.

Parameter 'line' is unread.

Parameter 'pos' is unread.

'Value' overrides Object.Equals(object o) but does not override Object.GetHashCode()

Non-nullable field 'filename' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.

Parameter 'filename' is unread.

Parameter 'line' is unread.