Skip to content

Merge pull request #85 from donatienthorez/fix_type_api_doc #107

Merge pull request #85 from donatienthorez/fix_type_api_doc

Merge pull request #85 from donatienthorez/fix_type_api_doc #107

Triggered via push November 30, 2023 16:19
Status Success
Total duration 48s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
Matrix: lint / build
Matrix: test
Fit to window
Zoom out
Zoom in