Skip to content
Check for copyright header

feat: LCtxSearch abstraction to search the local context in a single pass #31

Sign in to view logs

feat: LCtxSearch abstraction to search the local context in a single pass

feat: LCtxSearch abstraction to search the local context in a single pass #31

Triggered via pull request September 25, 2024 20:15
@alexkeizeralexkeizer
opened #189
refactor-state-monads-5
Status Success
Total duration 17s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
6s
check-lean-files
Fit to window
Zoom out
Zoom in