Skip to content

Merge pull request #428 from hacspec/generalize-names-rs #1047

Merge pull request #428 from hacspec/generalize-names-rs

Merge pull request #428 from hacspec/generalize-names-rs #1047

Triggered via push January 15, 2024 11:40
Status Skipped
Total duration 3s
Artifacts
Matrix: setup_sh
setup_sh_status
0s
setup_sh_status
Fit to window
Zoom out
Zoom in