Skip to content
Unsoundness checks

refactor!: Rename new_linear() to new_endo(). (#697) #306

Sign in to view logs

refactor!: Rename new_linear() to new_endo(). (#697)

refactor!: Rename new_linear() to new_endo(). (#697) #306

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Miri
19m 1s
19m 1s