Skip to content

Merge pull request #2039 from fwesselm/domColAndFreeColSubstUtils #3437

Merge pull request #2039 from fwesselm/domColAndFreeColSubstUtils

Merge pull request #2039 from fwesselm/domColAndFreeColSubstUtils #3437

Triggered via push November 15, 2024 16:20
Status Success
Total duration 4m 11s
Artifacts

build-linux.yml

on: push
Matrix: debug
Matrix: debug64
Matrix: debug64_all_tests
Matrix: debug_all_tests
Matrix: release
Matrix: Release64
Matrix: Release64_all_tests
Matrix: release_all_tests
Fit to window
Zoom out
Zoom in