Skip to content

feat: enable pp.fieldNotation.generalized globally #832

feat: enable pp.fieldNotation.generalized globally

feat: enable pp.fieldNotation.generalized globally #832

Triggered via pull request March 23, 2024 00:31
@kmillkmill
synchronize #3744
kmill:pp_dot
Status Success
Total duration 27s
Artifacts

copyright-header.yml

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