CI

Rename generic type parameter in Subtyping chapter #485

Sign in to view logs

Summary
Jobs
- Test
Run details
- Usage
- Workflow file

Triggered via pull request November 29, 2023 12:43

qsantos

synchronize #432

qsantos:rename-generic-type-parameter

Status Success

Total duration 53s

Artifacts –

main.yml

on: pull_request