Skip to content

Merge branch '3.8-devel' #376

Merge branch '3.8-devel'

Merge branch '3.8-devel' #376

Triggered via push June 28, 2023 06:14
Status Success
Total duration 4m 13s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

check.yml

on: push
static-analysis
4m 2s
static-analysis
Fit to window
Zoom out
Zoom in