Skip to content

fix: add missing ord trait for NameId (#73) #263

fix: add missing ord trait for NameId (#73)

fix: add missing ord trait for NameId (#73) #263

Triggered via push October 4, 2024 09:42
Status Success
Total duration 1m 5s
Artifacts

rust-compile.yml

on: push
Format and Lint
20s
Format and Lint
Check intra-doc links
16s
Check intra-doc links
Fit to window
Zoom out
Zoom in