Rename generic type parameter in Subtyping chapter #484

Sign in to view logs

Summary
Jobs
- Test
Run details
- Usage
- Workflow file

Triggered via pull request November 29, 2023 12:40

qsantos

opened #432

qsantos:rename-generic-type-parameter

Status Success

Total duration 54s

Artifacts –

main.yml

on: pull_request