Skip to content

Clean / rename / simplify #827

Clean / rename / simplify

Clean / rename / simplify #827

Triggered via pull request January 29, 2025 17:04
Status Success
Total duration 9m 10s
Artifacts

push.yml

on: pull_request
Matrix: lint-and-tests
Fit to window
Zoom out
Zoom in