Skip to content

Merge pull request #423 from jwillemsen/jwi-ddsimpliedenumannotations #1013

Merge pull request #423 from jwillemsen/jwi-ddsimpliedenumannotations

Merge pull request #423 from jwillemsen/jwi-ddsimpliedenumannotations #1013

Triggered via push January 22, 2024 14:07
Status Success
Total duration 2h 13m 43s
Artifacts

linux.yml

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