Skip to content

Merge pull request #9 from albertodebortoli/tag-filtering #54

Merge pull request #9 from albertodebortoli/tag-filtering

Merge pull request #9 from albertodebortoli/tag-filtering #54

Triggered via push July 5, 2023 13:59
Status Success
Total duration 9m 23s
Artifacts

pull_request.yml

on: push
Build for debug
9m 14s
Build for debug
Fit to window
Zoom out
Zoom in