Skip to content

Formalize annotated name parsing in DASH. #222

Formalize annotated name parsing in DASH.

Formalize annotated name parsing in DASH. #222

Triggered via pull request December 9, 2023 19:42
Status Success
Total duration 19s
Artifacts

pre-commit-check.yml

on: pull_request
pre-commit
10s
pre-commit
Fit to window
Zoom out
Zoom in