Skip to content

Merge pull request #51 from maribu/drop-unused-private-members #106

Merge pull request #51 from maribu/drop-unused-private-members

Merge pull request #51 from maribu/drop-unused-private-members #106

Triggered via push July 19, 2023 16:18
Status Success
Total duration 4m 55s
Artifacts

githubci.yml

on: push
Fit to window
Zoom out
Zoom in