Skip to content

Merge pull request #710 from githuhb/master #110

Merge pull request #710 from githuhb/master

Merge pull request #710 from githuhb/master #110

Triggered via push July 27, 2023 12:56
Status Success
Total duration 2m 30s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pull_request.yml

on: push
Matrix: test_help
Matrix: test_with_empty_db
Fit to window
Zoom out
Zoom in