CI of IDEAS using GitHub Actions

Merge pull request #1461 from lucasverleyen/issue1456_v4.0.0 #776

Sign in to view logs

Re-run triggered August 20, 2025 13:15

master

Status Success

Total duration 35m 58s

Artifacts –

github-actions.yml

on: push