Skip to content

Fix prioritization of givens over implicits #4673

Fix prioritization of givens over implicits

Fix prioritization of givens over implicits #4673

Triggered via pull request July 18, 2024 16:43
Status Success
Total duration 1m 20s
Artifacts

spec.yml

on: pull_request
Fit to window
Zoom out
Zoom in