Skip to content

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

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 #1688

Triggered via pull request December 7, 2023 20:45
Status Success
Total duration 1m 13s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

word-converter.yaml

on: pull_request
word-converter
1m 1s
word-converter
Fit to window
Zoom out
Zoom in

Annotations

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