lint

Change typeset to typelist for cdc #169

Sign in to view logs

Triggered via pull request February 8, 2025 15:33

sourcecd

synchronize #48

change_typeset_to_typelist_for_cdc

Status Success

Total duration 24s

Artifacts –

lint.yml

on: pull_request

autoformat check