Skip to content
Add to backporting project

Fix prioritization of givens over implicits (#21226) #742

Sign in to view logs

Fix prioritization of givens over implicits (#21226)

Fix prioritization of givens over implicits (#21226) #742

Triggered via push July 23, 2024 21:35
@EugeneFlesselleEugeneFlesselle
pushed 46ff151
main
Status Success
Total duration 42s
Artifacts –

lts-backport.yaml

on: push
add-to-backporting-project
34s
add-to-backporting-project
Fit to window
Zoom out
Zoom in