Skip to content

Add == definition of ComposedOptic and IndexLens from Setfield #146

Add == definition of ComposedOptic and IndexLens from Setfield

Add == definition of ComposedOptic and IndexLens from Setfield #146

Triggered via pull request March 23, 2024 09:37
@sunxd3sunxd3
synchronize #146
master
Status Cancelled
Total duration 27s
Artifacts

Invalidations.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
evaluate
Canceling since a higher priority waiting request for 'Invalidations-refs/pull/146/merge' exists