Skip to content

formal: fix minor typo in cherry-pick #99

formal: fix minor typo in cherry-pick

formal: fix minor typo in cherry-pick #99

Triggered via pull request January 27, 2026 20:04
@mkrlemkrle
opened #88
Status Success
Total duration 38m 4s
Artifacts

formal-this-repo.yaml

on: pull_request_target
Test Formalities  /  Test Formalities
8s
Test Formalities / Test Formalities
Fit to window
Zoom out
Zoom in