lint

Change typeset to typelist for cdc #168

Sign in to view logs

Triggered via pull request February 8, 2025 13:51

sourcecd

synchronize #48

change_typeset_to_typelist_for_cdc

Status Success

Total duration 1m 1s

Artifacts –

lint.yml

on: pull_request

autoformat check