Skip to content
type-lint

Rename overlap to cardinality #428

Sign in to view logs

Rename overlap to cardinality

Rename overlap to cardinality #428

Triggered via pull request October 4, 2024 16:34
@gumityolcugumityolcu
opened #196
rename_overlap_to_cardinality
Status Cancelled
Total duration 40s
Billable time 1m
Artifacts –

type-lint.yml

on: pull_request
type-lint
28s
type-lint
Fit to window
Zoom out
Zoom in

Annotations

2 errors
type-lint
The run was canceled by @gumityolcu.
type-lint
The operation was canceled.