Skip to content

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

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

Triggered via pull request November 30, 2023 19:48
Status Success
Total duration 1m 44s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test-examples.yaml

on: pull_request
test-extraction-and-runner
1m 34s
test-extraction-and-runner
Fit to window
Zoom out
Zoom in

Annotations

1 warning
test-extraction-and-runner
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/