gitHubActionFromTravis

Doc update : --rddmin-heuristics-file was missing #566

Sign in to view logs

Triggered via push February 28, 2025 16:32

lathuili

master

Status Success

Total duration 24m 29s

Artifacts –

github-actions-travis.yml

on: push

Matrix: buildVerrou