Skip to content

Merging main into dev #853

Merging main into dev

Merging main into dev #853

Triggered via pull request September 23, 2024 19:41
Status Success
Total duration 24m 34s
Artifacts 2

c.yml

on: pull_request
Matrix: build
diff-header-only
5s
diff-header-only
Matrix: build-header-only
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
c-extraction
208 KB
header-only-c-extraction
149 KB