CI of IDEAS using GitHub Actions

Merge pull request #1460 from Jaap-Neven/issue1458_logoDarkMode #725

Sign in to view logs

Triggered via push August 14, 2025 14:38

master

Status Success

Total duration 1h 16m 35s

Artifacts –

github-actions.yml

on: push