Skip to content
Backport

feat: add delaborators for <|>, <*>, >>, <*, and *> #4801

Sign in to view logs

feat: add delaborators for <|>, <*>, >>, <*, and *>

feat: add delaborators for <|>, <*>, >>, <*, and *> #4801

Triggered via pull request October 26, 2024 23:37
@leanprover-community-botleanprover-community-bot
labeled #5854
Status Skipped
Total duration 2s
Artifacts –

backport.yml

on: pull_request_target
Backport
0s
Backport
Fit to window
Zoom out
Zoom in