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

Triggered via push November 16, 2023 08:37
@github-merge-queuegithub-merge-queue[bot]
pushed 95f8808
main
Status Success
Total duration 19m 10s
Artifacts –

unsoundness.yml

on: push
Miri
19m 1s
Miri
Fit to window
Zoom out
Zoom in