Skip to content

Merge pull request #1806 from h-east/change-style-to-normal_pi_paren #868

Merge pull request #1806 from h-east/change-style-to-normal_pi_paren

Merge pull request #1806 from h-east/change-style-to-normal_pi_paren #868

Triggered via push November 19, 2024 09:03
Status Success
Total duration 6m 54s
Artifacts

generate.yml

on: push
Fit to window
Zoom out
Zoom in