Skip to content

Merge pull request #302 from denisbondar/main #1164

Merge pull request #302 from denisbondar/main

Merge pull request #302 from denisbondar/main #1164

Triggered via push October 21, 2023 15:57
Status Success
Total duration 20m 41s
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