Skip to content
Add to backporting project

Fix main: remove empty parentheses when rewriting implicits to givens… #1409

Sign in to view logs

Fix main: remove empty parentheses when rewriting implicits to givens…

Fix main: remove empty parentheses when rewriting implicits to givens… #1409

Triggered via push June 10, 2025 12:28
@jchybjchyb
pushed 4ec6751
main
Status Success
Total duration 44s
Artifacts –

lts-backport.yaml

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