Skip to content

Merge pull request #2115 from jwillemsen/jwi-reorderdefines #58

Merge pull request #2115 from jwillemsen/jwi-reorderdefines

Merge pull request #2115 from jwillemsen/jwi-reorderdefines #58

Triggered via push September 5, 2023 08:30
Status Success
Total duration 1h 11m 55s
Artifacts

face.yml

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