Fix problem with optics and <*> generics #2210

Sign in to view logs

Triggered via pull request July 13, 2023 13:55

serras

opened #3097

as-optics-generics-star

Status Success

Total duration 27m 48s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pull_request.yml

on: pull_request