Skip to content

simplicity-sys: rename IMR to IHR everywhere #1157

simplicity-sys: rename IMR to IHR everywhere

simplicity-sys: rename IMR to IHR everywhere #1157

Triggered via push February 12, 2025 00:49
Status Success
Total duration 3m 34s
Artifacts

main.yml

on: push
Rustfmt
6s
Rustfmt
SimpCLI Tests
27s
SimpCLI Tests
Jets-Bench Tests
2m 11s
Jets-Bench Tests
Ignored Tests
49s
Ignored Tests
Matrix: Clippy
Matrix: Tests
Fit to window
Zoom out
Zoom in