Skip to content

Merge develop into main before issuing new tag #314

Merge develop into main before issuing new tag

Merge develop into main before issuing new tag #314

Triggered via pull request November 25, 2024 18:57
@LucaCinquiniLucaCinquini
synchronize #222
develop
Status Success
Total duration 52s
Artifacts

static_analysis.yml

on: pull_request
pre-commit
42s
pre-commit
Fit to window
Zoom out
Zoom in