Skip to content
Back to pull request #9706

[Merged by Bors] - feat: isUnit_iff_eq_one #14669

Sign in to view logs

[Merged by Bors] - feat: isUnit_iff_eq_one

[Merged by Bors] - feat: isUnit_iff_eq_one #14669

Triggered via pull request January 13, 2024 10:51
@Ruben-VandeVeldeRuben-VandeVelde
synchronize #9706
isUnit_iff_eq_one
Status Success
Total duration 1m 24s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint style
1m 15s
Lint style
Check all files imported
8s
Check all files imported
Fit to window
Zoom out
Zoom in