Skip to content

Merge pull request #308 from carlmontanari/refactor/housekeeping #1172

Merge pull request #308 from carlmontanari/refactor/housekeeping

Merge pull request #308 from carlmontanari/refactor/housekeeping #1172

Triggered via push November 7, 2023 16:14
Status Success
Total duration 17m 55s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

commit.yaml

on: push
Matrix: build_posix
Matrix: coverage
Matrix: darglint
Fit to window
Zoom out
Zoom in