Skip to content

Merge pull request #252 from alexhernandezgarcia/miller_improv #492

Merge pull request #252 from alexhernandezgarcia/miller_improv

Merge pull request #252 from alexhernandezgarcia/miller_improv #492

Triggered via push November 27, 2023 16:03
Status Success
Total duration 39m 22s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Continuous-Integration
39m 11s
Continuous-Integration
Fit to window
Zoom out
Zoom in