Skip to content
Coq

chore: elide needless lifetimes for rust 1.83.0 update to stable (#587) #550

Sign in to view logs

chore: elide needless lifetimes for rust 1.83.0 update to stable (#587)

chore: elide needless lifetimes for rust 1.83.0 update to stable (#587) #550

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
48s
48s