Skip to content

Merge pull request #2300 from jwillemsen/jwi-makeincludeclean #2939

Merge pull request #2300 from jwillemsen/jwi-makeincludeclean

Merge pull request #2300 from jwillemsen/jwi-makeincludeclean #2939

Triggered via push November 12, 2024 14:19
Status Success
Total duration 4m 13s
Artifacts

face.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in