Skip to content

Introduce term "identity convertible" for types that aren't the same type, but have an identity conversion #1628

Introduce term "identity convertible" for types that aren't the same type, but have an identity conversion

Introduce term "identity convertible" for types that aren't the same type, but have an identity conversion #1628

Triggered via pull request January 10, 2024 20:15
Status Success
Total duration 38s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

grammar-validator.yaml

on: pull_request
grammar-validator
26s
grammar-validator
Fit to window
Zoom out
Zoom in

Annotations

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