Skip to content

Merge pull request #420 from jwillemsen/jwi-nddslanguage #994

Merge pull request #420 from jwillemsen/jwi-nddslanguage

Merge pull request #420 from jwillemsen/jwi-nddslanguage #994

Triggered via push November 24, 2023 12:06
Status Success
Total duration 2h 17m 6s
Artifacts

linux.yml

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